diff options
Diffstat (limited to '')
| -rwxr-xr-x | element-desktop/umount-element | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/element-desktop/umount-element b/element-desktop/umount-element new file mode 100755 index 0000000..eb9fbdd --- /dev/null +++ b/element-desktop/umount-element @@ -0,0 +1,17 @@ +#!/bin/dash + +asroot env \ + ELEMENT_DIR="${HOME}/.var/opt/element" \ + ELEMENT_DEV="$(losetup | sed 's/\s\+/ /g' | cut -d ' ' -f 1,6 | \ + sed -n 's#\(/[^ ]*\) '"$(realpath -- "${HOME}/.var/opt/element/ElementCrypt.img")"'$#\1#p' | sed 1q)" \ + sh -c ' + if mountpoint -q -- "${ELEMENT_DIR}/ElementCrypt.d"; then + umount -- "${ELEMENT_DIR}/ElementCrypt.d" + fi + if test -e /dev/mapper/ElementCrypt; then + cryptsetup close ElementCrypt + fi + if test -n "${ELEMENT_DEV}"; then + losetup -d -- "${ELEMENT_DEV}" + fi + ' |