From d50bec7be48da1d3788b806d763bef2c5467434c Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Wed, 2 Jan 2013 01:40:08 +0100 Subject: fixup: fix mounting for edu workstation installs and be more verbose for all --- bin/g-i-installation.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/bin/g-i-installation.sh b/bin/g-i-installation.sh index 30671635..0e969dfc 100755 --- a/bin/g-i-installation.sh +++ b/bin/g-i-installation.sh @@ -571,6 +571,7 @@ save_logs() { # "sudo guestmount -o uid=$(id -u) -o gid=$(id -g)" would be nicer, bt it doesnt work: as root, the files seem to belong to jenkins, but as jenkins they cannot be accessed case $NAME in debian-edu_*_workstation) sudo guestmount -a $NAME.raw -m /dev/vg_system/root --ro $SYSTEM_MNT || echo "Warning: cannot mount /dev/vg_system/root" ; figlet "fail" + ;; debian-edu_*) sudo guestmount -a $NAME.raw -m /dev/vg_system/root --ro $SYSTEM_MNT || echo "Warning: cannot mount /dev/vg_system/root" ; figlet "fail" sudo guestmount -a $NAME.raw -m /dev/vg_system/var -o nonempty --ro $SYSTEM_MNT/var || echo "Warning: cannot mount /dev/vg_system/var" ; figlet "fail" ;; -- cgit v1.2.3-54-g00ecf