feat: teach repo-tool fetcher specific manifest

This allows the repo-tool fetcher to download any, not just the `default.xml` manifest.
DLR-FT · Oct 14, 2024 · eba85d7 · eba85d7
1 parent e6c03d0
commit eba85d7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/pkgs/fetch-google-repo-tool.nix b/pkgs/fetch-google-repo-tool.nix
@@ -15,6 +15,7 @@ lib.makeOverridable (
   , rev
   , name ? "source"
   , hash
+  , manifest ? "default.xml"
     # Problem
     #
     # `repo` allows for the manifest to just specify a branch, defaulting to the latest commit.
@@ -54,7 +55,7 @@ lib.makeOverridable (
       mkdir -- "$out" home
       export HOME="$PWD/home"
       cd "$out"
-      repo init --manifest-url=${escapeShellArg url} --no-repo-verify
+      repo init --manifest-url=${escapeShellArg url} --manifest-name=${escapeShellArg manifest} --no-repo-verify
 
       pushd .repo/manifests > /dev/null
       git fetch --all --tags