OSDN Git Service

instanthotkeys user content
authorpaperbenni <paperbenni@gmail.com>
Sat, 13 Jun 2020 23:06:10 +0000 (01:06 +0200)
committerpaperbenni <paperbenni@gmail.com>
Sat, 13 Jun 2020 23:06:10 +0000 (01:06 +0200)
programs/instanthotkeys

index 131bc47..0dd98d8 100755 (executable)
@@ -16,6 +16,14 @@ if ! [ -e ~/.cache/instantos/hotkeys.md ]; then
 fi
 
 cat ~/.cache/instantos/hotkeys.md >/tmp/hotkeys
+
+# allow user to add to the list
+if [ -e ~/.config/instantos/hotkeys ]; then
+    echo "user generated notes: 
+" >>/tmp/hotkeys
+    cat ~/.config/instantos/hotkeys >>/tmp/hotkeys
+fi
+
 dlbinds &
 
 # optional GUI mode