summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLars Wirzenius <liw@liw.fi>2022-09-10 16:39:53 +0000
committerLars Wirzenius <liw@liw.fi>2022-09-10 16:39:53 +0000
commit4602d23c327841ef2f2e0e123dc7185d0ed92c05 (patch)
treeac6845ee81d970a546bcb52cf3884f13db794309
parent3e5e9de43e052dfeae083519633983bca15dc9e0 (diff)
parent4219b173ca9459ba19aa58ca01abe864c0989980 (diff)
downloadv-i-4602d23c327841ef2f2e0e123dc7185d0ed92c05.tar.gz
Merge branch 'devcheck' into 'main'
feat: write-and-config.sh checks that given device is a block device See merge request larswirzenius/v-i!39
-rwxr-xr-xwrite-and-config.sh5
1 files changed, 5 insertions, 0 deletions
diff --git a/write-and-config.sh b/write-and-config.sh
index 17bf0ac..ce21afe 100755
--- a/write-and-config.sh
+++ b/write-and-config.sh
@@ -5,6 +5,11 @@ set -euo pipefail
config="$1"
dev="$2"
+if ! blkid "$dev" >/dev/null; then
+ echo "$dev is not a block device" 1>&2
+ exit 1
+fi
+
echo "Unmounting everything in $dev"
umount -fv "$dev"* || true
echo "Write installer.img to $dev"