From ea530ddcf39f3bd28530ce72ca414d5ee66d1413 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= <john@ankarstrom.se>
Date: Wed, 7 Apr 2021 19:55:57 +0200
Subject: Use sh instead of batch, support custom hotkeys

---
 patch.sh | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 patch.sh

(limited to 'patch.sh')

diff --git a/patch.sh b/patch.sh
new file mode 100644
index 0000000..380966f
--- /dev/null
+++ b/patch.sh
@@ -0,0 +1,5 @@
+#!/bin/sh
+test -z "$1" && { echo usage: $0 file 1>&2; exit 1; }
+sed 's/^    ; Custom rules$/    #IncludeAgain %A_ScriptDir%\\rules.x/' "$1" |
+sed 's/^; Custom hotkeys$/#IncludeAgain %A_ScriptDir%\\hotkeys.x/' > drm.tmp
+mv drm.tmp drm.ahk
-- 
cgit v1.2.3