From 830e471cb5a1b91c1802ad5ba4c8cff9ce4d3b57 Mon Sep 17 00:00:00 2001
From: ndwarshuis <ndwar@yavin4.ch>
Date: Sat, 3 Apr 2021 11:18:09 -0400
Subject: [PATCH] ENH make rofi device error more obvious

---
 dot_bin/executable_with_gpg_mount | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/dot_bin/executable_with_gpg_mount b/dot_bin/executable_with_gpg_mount
index f0a5b57..d864304 100644
--- a/dot_bin/executable_with_gpg_mount
+++ b/dot_bin/executable_with_gpg_mount
@@ -7,5 +7,8 @@ shift
 
 alias="gnupg"
 
-rofi-dev -c "$XDG_CONFIG_HOME/rofi/devices.yml" -m "$alias" \
-    && "$bin" "$@" || echo "Could not mount $alias"
+if rofi-dev -c "$XDG_CONFIG_HOME/rofi/devices.yml" -m "$alias"; then
+    "$bin" "$@"
+else
+    echo "Could not mount $alias"
+fi