diff options
| author | Jory A. Pratt <anarchy@gentoo.org> | 2010-10-28 20:34:34 -0500 |
|---|---|---|
| committer | Jory A. Pratt <anarchy@gentoo.org> | 2010-10-28 20:35:09 -0500 |
| commit | 060b19e3e3afdd9af511d295ea944eb55dfec70b (patch) | |
| tree | 514614aeb10d69ed9025258039f2c4d4c26cfa07 /sh | |
| parent | d8a76d1bf660aa376547f80f406240c67e938487 (diff) | |
correction for unmounting volumes with weird characters, thanks Brant
Gurganus <brant@gurganus.name>
Diffstat (limited to 'sh')
| -rw-r--r-- | sh/rc-mount.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sh/rc-mount.sh b/sh/rc-mount.sh index 940e5e5f..da2e20e0 100644 --- a/sh/rc-mount.sh +++ b/sh/rc-mount.sh @@ -26,6 +26,8 @@ do_unmount() # Unmounting a shared mount can unmount other mounts, so # we need to check the mount is still valid mountinfo --quiet "$mnt" || continue + # Ensure we interpret all characters properly. + mnt=$(printf "$mnt") case "$cmd" in umount) |