diff options
Diffstat (limited to 'linux/console/bin/erzeuge_neo-belegung')
| -rwxr-xr-x | linux/console/bin/erzeuge_neo-belegung | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/linux/console/bin/erzeuge_neo-belegung b/linux/console/bin/erzeuge_neo-belegung new file mode 100755 index 0000000..964534c --- /dev/null +++ b/linux/console/bin/erzeuge_neo-belegung @@ -0,0 +1,8 @@ +dumpkeys --long-info > dump +cat console.ersetze.vorprogramm > console.ersetze +./mach_kurzreferenz.vorprogramm >> console.ersetze +rm dump +./mach_kurzreferenz > kurzreferenz +./mach_console +rm kurzreferenz +rm console.ersetze
\ No newline at end of file |