+ deb_name=$pkg
+ if [ $pkg == "mr"; ]; then
+ deb_name=myrepos
+ fi;
+ if which apt-get >/dev/null 2>&1; then
+ apt-get download $deb_name;
+ dpkg-deb -x ${deb_name}*.deb .
+ else
+ # ok, this host isn't Debian.
+ if [ "$pkg" == "mr" ]; then
+ 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.20151229-1_all.deb
+ ar p vcsh*.deb data.tar.xz|xz --decompress|tar -x
+ fi;
+
+ fi;