echo "Package $pkg doesn't exist; getting it"
mkdir -p local_packages/$pkg;
(cd local_packages/$pkg;
- if which apt-et >/dev/null 2>&1; then
+ if which apt-get >/dev/null 2>&1; then
apt-get download $pkg;
dpkg-deb -x $pkg*.deb .
else
# ok, this host isn't Debian.
if [ "$pkg" == "mr" ]; then
- wget http://http.debian.net/debian/pool/main/m/mr/mr_1.16_all.deb
+ wget http://http.debian.net/debian/pool/main/m/myrepos/myrepos_1.20160123_all.deb
+ ar p myrepos*.deb data.tar.xz|xz --decompress|tar -x
elif [ "$pkg" == "vcsh" ]; then
- wget http://http.debian.net/debian/pool/main/v/vcsh/vcsh_1.20150502-1_all.deb
+ wget http://http.debian.net/debian/pool/main/v/vcsh/vcsh_1.20151229-1_all.deb
+ ar p vcsh*.deb data.tar.xz|xz --decompress|tar -x
fi;
- ar p $pkg*.deb|tar -jx;
fi;
);