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.bat | |
| parent | eecc489a5576401219e90e7ba4bf690951c6d452 (diff) | |
| download | drm-ea530ddcf39f3bd28530ce72ca414d5ee66d1413.tar.gz | |
Use sh instead of batch, support custom hotkeys
Diffstat (limited to 'patch.bat')
| -rw-r--r-- | patch.bat | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/patch.bat b/patch.bat deleted file mode 100644 index 5ccd33e..0000000 --- a/patch.bat +++ /dev/null @@ -1,9 +0,0 @@ -@echo off -setlocal -cd /d %~dp0 -if "%~1" == "" ( - echo Error: argument missing - pause - exit /b -) -sed "s/^ ; Custom rules$/ #IncludeAgain %%A_ScriptDir%%\\\\drm.x/" "%~1" > drm.ahk
\ No newline at end of file |