diff options
Diffstat (limited to '')
-rwxr-xr-x | linux/console/bin/erzeuge_neo-belegung | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/linux/console/bin/erzeuge_neo-belegung b/linux/console/bin/erzeuge_neo-belegung index 4cb0e47..bb6c8a8 100755 --- a/linux/console/bin/erzeuge_neo-belegung +++ b/linux/console/bin/erzeuge_neo-belegung @@ -1,17 +1,17 @@ #!/bin/sh -#dumpkeys --long-info > dump || exit 1 +dumpkeys --long-info > dump || exit 1 cat console.ersetze.vorprogramm > console.ersetze ./mach_kurzreferenz.vorprogramm >> console.ersetze -#rm dump +rm dump echo -e "Schritt 3 von 4: Erstellung einer Referenz\c" >&2 ./mach_kurzreferenz > kurzreferenz -echo -e "\rSchritt 3 von 4: Erstellung einer Referenz [ \033[32m ok \033[30m ]" >&2 +echo -e "\rSchritt 3 von 4: Erstellung einer Referenz [ \033[32m ok \033[0m ]" >&2 echo -e "Schritt 4 von 4: Erzeugung der keymap\c" >&2 ./mach_console rm kurzreferenz rm console.ersetze -echo -e "\rSchritt 4 von 4: Erzeugung der keymap [ \033[32m ok \033[30m ]" >&2
\ No newline at end of file +echo -e "\rSchritt 4 von 4: Erzeugung der keymap [ \033[32m ok \033[0m ]" >&2
\ No newline at end of file |