f856654c6c
Add dev-tools and dev-workflows submodules docs: added a misc folder and file The need to track files with unclear origin/purpose is real. This folder holds them in the master branch. Reference issues or pull requests here (e.g., "Closes #123")
11 lines
276 B
Bash
11 lines
276 B
Bash
#!/bin/bash
|
|
set -euo pipefail
|
|
|
|
cd ~
|
|
sudo umount /secure-projects
|
|
sudo cryptsetup close secure_projects
|
|
echo 'VERIFY LOCKED — should report "inactive"'
|
|
status_output="$(sudo cryptsetup status secure_projects)"
|
|
echo "$status_output"
|
|
echo "$status_output" | grep -q 'inactive'
|