From 8b6726dd4a49fe9d90a745c60ba347f953310a0d Mon Sep 17 00:00:00 2001 From: paperbenni Date: Sun, 14 Jun 2020 01:06:10 +0200 Subject: [PATCH] instanthotkeys user content --- programs/instanthotkeys | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/programs/instanthotkeys b/programs/instanthotkeys index 131bc47..0dd98d8 100755 --- a/programs/instanthotkeys +++ b/programs/instanthotkeys @@ -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 -- 2.11.0