else
# ok, this host isn't Debian.
if [ "$pkg" == "mr" ]; then
- wget http://http.debian.net/debian/pool/main/m/myrepos/myrepos_1.20150503_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;
fi;
done;
-if [ "$1" == "ssh" ]; then
+if [ "$1" = "ssh" ]; then
mkdir -p .config/;
(cd .config/;
git checkout git+ssh://git.donarmstrong.com/srv/git_private/mr.git