diff options
Diffstat (limited to 'users/edef')
| -rw-r--r-- | users/edef/depot-scan.nix | 4 | ||||
| -rwxr-xr-x | users/edef/depot-scan.pl (renamed from users/edef/sources.pl) | 0 |
2 files changed, 2 insertions, 2 deletions
diff --git a/users/edef/depot-scan.nix b/users/edef/depot-scan.nix index faa91855e8..ce0f8d9799 100644 --- a/users/edef/depot-scan.nix +++ b/users/edef/depot-scan.nix @@ -3,10 +3,10 @@ pkgs.writeShellScriptBin "depot-scan" '' set -euo pipefail - path=$(git rev-parse --show-prefix) + path="''${1:-$(git rev-parse --show-prefix)}" path="''${path%%/}" attr="''${path//\//.}" root="$(git rev-parse --show-toplevel)" echo "scanning //$path" >&2 - nix-instantiate "$root" -A "$attr" -vv 2> >(${pkgs.perl}/bin/perl sources.pl) >&2 + nix-instantiate "$root" -A "$attr" -vv 2> >(${pkgs.perl}/bin/perl ${./depot-scan.pl}) >&2 '' diff --git a/users/edef/sources.pl b/users/edef/depot-scan.pl index 39550d83c1..39550d83c1 100755 --- a/users/edef/sources.pl +++ b/users/edef/depot-scan.pl |