From 19aa313753b3c4325e9972a0004390cb438753d9 Mon Sep 17 00:00:00 2001 From: Kroese Date: Thu, 28 Dec 2023 08:35:51 +0100 Subject: [PATCH] fix: Shellcheck (#509) --- src/entry.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/entry.sh b/src/entry.sh index 48c2da0..f180282 100755 --- a/src/entry.sh +++ b/src/entry.sh @@ -43,7 +43,7 @@ if [ ! -c "$dev" ]; then fi if [ ! -c "$dev" ]; then - error "Device `$dev` not found!" + error "Device '$dev' not found!" finish 34 fi