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
(from parent 1:
2c5bea5
)
add GUI mode to instanthotkeys
author
paperbenni
<paperbenni@gmail.com>
Sat, 13 Jun 2020 22:42:33 +0000
(
00:42
+0200)
committer
paperbenni
<paperbenni@gmail.com>
Sat, 13 Jun 2020 22:42:33 +0000
(
00:42
+0200)
programs/instanthotkeys
patch
|
blob
|
history
diff --git
a/programs/instanthotkeys
b/programs/instanthotkeys
index
0af02a6
..
131bc47
100755
(executable)
--- a/
programs/instanthotkeys
+++ b/
programs/instanthotkeys
@@
-18,4
+18,9
@@
fi
cat ~/.cache/instantos/hotkeys.md >/tmp/hotkeys
dlbinds &
-less --mouse --wheel-lines=3 /tmp/hotkeys
+# optional GUI mode
+if [ -z "$1" ]; then
+ less --mouse --wheel-lines=3 /tmp/hotkeys
+else
+ cat /tmp/hotkeys | sed 's/^/>/g' | instantmenu -c -l 35 -fn "Fira Code Nerd Font:pixelsize=13" -bw 3
+fi