summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2013-01-02 01:40:08 +0100
committerHolger Levsen <holger@layer-acht.org>2013-01-02 01:40:08 +0100
commitd50bec7be48da1d3788b806d763bef2c5467434c (patch)
treea91716b892f9dd950a772c48447f19e82db4385f /bin
parent6509c4510058df9e69440868cdb84a9aec45a430 (diff)
downloadjenkins.debian.net-d50bec7be48da1d3788b806d763bef2c5467434c.tar.xz
fixup: fix mounting for edu workstation installs and be more verbose for all
Diffstat (limited to 'bin')
-rwxr-xr-xbin/g-i-installation.sh1
1 files changed, 1 insertions, 0 deletions
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"
;;