diff options
author | tv <tv@shackspace.de> | 2015-06-30 00:15:03 +0200 |
---|---|---|
committer | tv <tv@shackspace.de> | 2015-06-30 00:15:03 +0200 |
commit | dfad67c00dedf9c6bcba697e9021e9023170e00b (patch) | |
tree | bd203371f7d6a7e7ccd37de97852a99dc36a47c6 /bin | |
parent | e481906475fd41e1e7634caba13c6355a9f70274 (diff) |
fetchgit -> prefetch
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/nixos-build | 2 | ||||
-rwxr-xr-x | bin/prefetch (renamed from bin/fetchgit) | 8 |
2 files changed, 5 insertions, 5 deletions
diff --git a/bin/nixos-build b/bin/nixos-build index d00fc4d6b..41e9774a3 100755 --- a/bin/nixos-build +++ b/bin/nixos-build @@ -21,7 +21,7 @@ secrets_rsync=$secrets_root/$host/rsync NIX_PATH=$NIX_PATH:secrets=$secrets_nix export NIX_PATH - fetchgit nixpkgs tmp/nixpkgs/$host + prefetch nixpkgs tmp/nixpkgs/$host ) nix-build \ diff --git a/bin/fetchgit b/bin/prefetch index 5c230ae9f..a87dd1899 100755 --- a/bin/fetchgit +++ b/bin/prefetch @@ -1,6 +1,6 @@ #! /bin/sh # -# usage: fetchgit repo_name out_link +# usage: prefetch repo_name out_link # # Make the specified repository available as out_link. # @@ -10,7 +10,7 @@ repo_name=$1 out_link=$2 if test "$repo_name" != nixpkgs; then - echo "fetchgit: cannot fetch $repo_name, yet" >&2 + echo "prefetch: cannot fetch $repo_name, yet" >&2 exit -1 fi @@ -20,7 +20,7 @@ dirty=$(nixos-query nixpkgs.dirty) case $dirty in true) ln -snf "$git_url" "$out_link" - echo "fetchgit: using $git_url as it is" >&2 + echo "prefetch: using $git_url as it is" >&2 exit esac @@ -85,4 +85,4 @@ else ln -snf "$work_dir" "$out_link" fi -echo "fetchgit: using $git_url $(work_git log --oneline -n1)" >&2 +echo "prefetch: using $git_url $(work_git log --oneline -n1)" >&2 |