fetchgit -> prefetch
This commit is contained in:
parent
e481906475
commit
dfad67c00d
@ -21,7 +21,7 @@ secrets_rsync=$secrets_root/$host/rsync
|
|||||||
NIX_PATH=$NIX_PATH:secrets=$secrets_nix
|
NIX_PATH=$NIX_PATH:secrets=$secrets_nix
|
||||||
export NIX_PATH
|
export NIX_PATH
|
||||||
|
|
||||||
fetchgit nixpkgs tmp/nixpkgs/$host
|
prefetch nixpkgs tmp/nixpkgs/$host
|
||||||
)
|
)
|
||||||
|
|
||||||
nix-build \
|
nix-build \
|
||||||
|
@ -1,6 +1,6 @@
|
|||||||
#! /bin/sh
|
#! /bin/sh
|
||||||
#
|
#
|
||||||
# usage: fetchgit repo_name out_link
|
# usage: prefetch repo_name out_link
|
||||||
#
|
#
|
||||||
# Make the specified repository available as out_link.
|
# Make the specified repository available as out_link.
|
||||||
#
|
#
|
||||||
@ -10,7 +10,7 @@ repo_name=$1
|
|||||||
out_link=$2
|
out_link=$2
|
||||||
|
|
||||||
if test "$repo_name" != nixpkgs; then
|
if test "$repo_name" != nixpkgs; then
|
||||||
echo "fetchgit: cannot fetch $repo_name, yet" >&2
|
echo "prefetch: cannot fetch $repo_name, yet" >&2
|
||||||
exit -1
|
exit -1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
@ -20,7 +20,7 @@ dirty=$(nixos-query nixpkgs.dirty)
|
|||||||
|
|
||||||
case $dirty in true)
|
case $dirty in true)
|
||||||
ln -snf "$git_url" "$out_link"
|
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
|
exit
|
||||||
esac
|
esac
|
||||||
|
|
||||||
@ -85,4 +85,4 @@ else
|
|||||||
ln -snf "$work_dir" "$out_link"
|
ln -snf "$work_dir" "$out_link"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
echo "fetchgit: using $git_url $(work_git log --oneline -n1)" >&2
|
echo "prefetch: using $git_url $(work_git log --oneline -n1)" >&2
|
@ -19,7 +19,7 @@ systemname=$2
|
|||||||
exit -1
|
exit -1
|
||||||
esac
|
esac
|
||||||
|
|
||||||
fetchgit nixpkgs tmp/nixpkgs/$systemname
|
prefetch nixpkgs tmp/nixpkgs/$systemname
|
||||||
)
|
)
|
||||||
|
|
||||||
./cac poll 10s 2>/dev/null &
|
./cac poll 10s 2>/dev/null &
|
||||||
|
Loading…
Reference in New Issue
Block a user