#!/bin/bash

## Copyright (C) 2023 - 2025 ENCRYPTED SUPPORT LLC <adrelanos@whonix.org>
## See the file COPYING for copying conditions.

set -x
set -e
set -o errtrace
set -o pipefail
set -o nounset

sudo umount /mnt/disk

sudo cryptsetup luksClose disk

true "INFO: rmdir does not delete the folders in case not empty."
rmdir /mnt/disk
