diff options
| author | Holger Levsen <holger@layer-acht.org> | 2012-12-24 13:35:50 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2012-12-24 13:35:50 +0100 |
| commit | fa599328451f7c0bdc36ded51fb9d3b8a17fad18 (patch) | |
| tree | 6cfd8232d5002c0c021c0b60756fe27eec3c2118 | |
| parent | 2087e19702c5fe2d5fbc080a0170747ce54d6b72 (diff) | |
| download | jenkins.debian.net-fa599328451f7c0bdc36ded51fb9d3b8a17fad18.tar.xz | |
maybe sync helps to unmount cleanly
| -rwxr-xr-x | bin/g-i-installation.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/g-i-installation.sh b/bin/g-i-installation.sh index e1f51e39..84dc11ad 100755 --- a/bin/g-i-installation.sh +++ b/bin/g-i-installation.sh @@ -444,6 +444,10 @@ save_logs() { # get list of installed packages # sudo chroot $SYSTEM_MNT dpkg -l > $RESULTS/dpkg-l + # + # umount guests + # + sync case $NAME in debian-edu_*) sudo umount -l $SYSTEM_MNT/var || true ;; |