manatee: Fetch schema from gitea

Point the schema input at its repo instead of a local path, so the
config builds from anywhere.
This commit is contained in:
Alexander Heldt committed 2026-09-30 07:48:39 +00:00
1 parent 3a115df8a7
commit 29608efd8c
2 files changed
+12 -9

No files matched your search

Generated
+10 -6
View File
@@ -924,14 +924,18 @@
] ]
}, },
"locked": { "locked": {
"lastModified": 1790705995, "lastModified": 1790709196,
"narHash": "sha256-Qe7ugdZbc/aXU900EKtuZOGgN4dyTgfriayoySQX2U8=", "narHash": "sha256-vOECM4pgVkSv0bsbM3kXSCb53p4cxRL6HNsWvB2vSbY=",
"path": "/home/alex/code/schema", "ref": "main",
"type": "path" "rev": "c3e9e54ac9b69c205d3582e621fffef3dd0decea",
"revCount": 5,
"type": "git",
"url": "ssh://gitea@git.ppp.pm:1122/alex/schema.git"
}, },
"original": { "original": {
"path": "/home/alex/code/schema", "ref": "main",
"type": "path" "type": "git",
"url": "ssh://gitea@git.ppp.pm:1122/alex/schema.git"
} }
}, },
"solo-referee": { "solo-referee": {
+2 -3
View File
@@ -100,9 +100,8 @@
}; };
schema = { schema = {
# Switch to the gitea URL once the repo is pushed there: url = "git+ssh://gitea@git.ppp.pm:1122/alex/schema.git?ref=main";
# url = "git+ssh://gitea@git.ppp.pm:1122/alex/schema.git?ref=main"; # url = "path:/home/alex/code/schema";
url = "path:/home/alex/code/schema";
inputs.nixpkgs.follows = "nixpkgs"; inputs.nixpkgs.follows = "nixpkgs";
}; };