summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2015-06-30 00:15:03 +0200
committertv <tv@krebsco.de>2015-06-30 00:15:03 +0200
commit96ab6b74d373dbfdd05343ace39c8afaee8cae54 (patch)
treebd203371f7d6a7e7ccd37de97852a99dc36a47c6
parent7791841326335a079154151f7e7f439816015e93 (diff)
fetchgit -> prefetch
-rwxr-xr-xbin/nixos-build2
-rwxr-xr-xbin/prefetch (renamed from bin/fetchgit)8
-rwxr-xr-xinfest-cac-CentOS-7-64bit.sh2
3 files changed, 6 insertions, 6 deletions
diff --git a/bin/nixos-build b/bin/nixos-build
index d00fc4d..41e9774 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 5c230ae..a87dd18 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
diff --git a/infest-cac-CentOS-7-64bit.sh b/infest-cac-CentOS-7-64bit.sh
index a4ef51e..1e96e0e 100755
--- a/infest-cac-CentOS-7-64bit.sh
+++ b/infest-cac-CentOS-7-64bit.sh
@@ -19,7 +19,7 @@ systemname=$2
exit -1
esac
- fetchgit nixpkgs tmp/nixpkgs/$systemname
+ prefetch nixpkgs tmp/nixpkgs/$systemname
)
./cac poll 10s 2>/dev/null &