OSDN Git Service

add instanthotkeys
authorpaperbenni <paperbenni@gmail.com>
Sun, 17 May 2020 08:58:18 +0000 (10:58 +0200)
committerpaperbenni <paperbenni@gmail.com>
Sun, 17 May 2020 08:58:18 +0000 (10:58 +0200)
programs/instanthotkeys [new file with mode: 0755]
programs/instantpostinstall [changed mode: 0644->0755]

diff --git a/programs/instanthotkeys b/programs/instanthotkeys
new file mode 100755 (executable)
index 0000000..15c7aeb
--- /dev/null
@@ -0,0 +1,12 @@
+#!/bin/bash
+
+# Show a list of available key bindings
+
+if ! [ -e ~/.cache/instantos/hotkeys.md ]; then
+    mkdir -p ~/.cache/instantos &>/dev/null
+    curl -s 'https://raw.githubusercontent.com/instantOS/instantos.github.io/master/youtube/hotkeys.md' >~/.cache/instantos/hotkeys.md
+fi
+
+cp ~/.cache/instantos/hotkeys.md /tmp/hotkeys
+curl -s 'https://raw.githubusercontent.com/instantOS/instantos.github.io/master/youtube/hotkeys.md' >~/.cache/instantos/hotkeys.md &
+less /tmp/hotkeys
old mode 100644 (file)
new mode 100755 (executable)