OSDN Git Service
(root)
/
instantos
/
instantOS.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
e42dbfe
)
instanthotkeys user content
author
paperbenni
<paperbenni@gmail.com>
Sat, 13 Jun 2020 23:06:10 +0000
(
01:06
+0200)
committer
paperbenni
<paperbenni@gmail.com>
Sat, 13 Jun 2020 23:06:10 +0000
(
01:06
+0200)
programs/instanthotkeys
patch
|
blob
|
history
diff --git
a/programs/instanthotkeys
b/programs/instanthotkeys
index
131bc47
..
0dd98d8
100755
(executable)
--- 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