diff options
| author | John Ankarström <john@ankarstrom.se> | 2021-04-07 19:55:57 +0200 |
|---|---|---|
| committer | John Ankarström <john@ankarstrom.se> | 2021-04-07 20:00:58 +0200 |
| commit | ea530ddcf39f3bd28530ce72ca414d5ee66d1413 (patch) | |
| tree | fc0cda81b549a2909be7779b3bc3793174850ffd /patch.sh | |
| parent | eecc489a5576401219e90e7ba4bf690951c6d452 (diff) | |
| download | drm-ea530ddcf39f3bd28530ce72ca414d5ee66d1413.tar.gz | |
Use sh instead of batch, support custom hotkeys
Diffstat (limited to 'patch.sh')
| -rw-r--r-- | patch.sh | 5 |
1 files changed, 5 insertions, 0 deletions
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 |