usbinstall.sh: make pushd/popd silent

This commit is contained in:
Silvan Calarco 2012-01-07 18:14:13 +01:00
parent 672c52e0a2
commit f3b36c8a84

View File

@ -114,7 +114,7 @@ MOUNTDIR=`dbus_properties_get_stringlist org.freedesktop.UDisks /org/freedesktop
org.freedesktop.UDisks.Device DeviceMountPaths` org.freedesktop.UDisks.Device DeviceMountPaths`
set_status "Estrazione del file di boot in corso..." set_status "Estrazione del file di boot in corso..."
pushd $MOUNTDIR pushd $MOUNTDIR >/dev/null
sudo chmod 777 ./ sudo chmod 777 ./
gunzip -c $SELECT_BOOT | cpio -i gunzip -c $SELECT_BOOT | cpio -i
set_pbar 38 set_pbar 38
@ -138,7 +138,7 @@ while [ $ORIG_SIZE -gt $DEST_SIZE ]; do
set_pbar $percentuale set_pbar $percentuale
done done
ln -fs `basename $SELECT_ISO` ./openmamba-live.iso ln -fs `basename $SELECT_ISO` ./openmamba-live.iso
popd popd >/dev/null
set_pbar 98 set_pbar 98