Files
cloudron-box/src/scripts/rmmount.sh
Girish Ramakrishnan 1ce4875db1 volumes: set hostPath based on volume id
this is required for the file browser to work which does operations
based on the id

fixes #789
2021-06-24 17:32:41 -07:00

28 lines
483 B
Bash
Executable File

#!/bin/bash
set -eu -o pipefail
if [[ ${EUID} -ne 0 ]]; then
echo "This script should be run as root." > /dev/stderr
exit 1
fi
if [[ $# -eq 0 ]]; then
echo "No arguments supplied"
exit 1
fi
if [[ "$1" == "--check" ]]; then
echo "OK"
exit 0
fi
where="$1"
mount_filename=$(systemd-escape -p --suffix=mount "$where")
systemctl stop "${mount_filename}" || true
rm -f "/etc/systemd/system/${mount_filename}"
rmdir "${where}" || true
systemctl daemon-reload