echo "Package $pkg doesn't exist; getting it"
mkdir -p local_packages/$pkg;
(cd local_packages/$pkg;
+ deb_name=$pkg
+ if [ $pkg == "mr"; ]; then
+ deb_name=myrepos
+ fi;
if which apt-get >/dev/null 2>&1; then
- apt-get download $pkg;
- dpkg-deb -x $pkg*.deb .
+ apt-get download $deb_name;
+ dpkg-deb -x ${deb_name}*.deb .
else
# ok, this host isn't Debian.
if [ "$pkg" == "mr" ]; then