diff options
Diffstat (limited to '.local/bin')
-rwxr-xr-x | .local/bin/manualgen | 6 | ||||
-rwxr-xr-x | .local/bin/remaps | 2 |
2 files changed, 5 insertions, 3 deletions
diff --git a/.local/bin/manualgen b/.local/bin/manualgen index 738ef5c..16a7653 100755 --- a/.local/bin/manualgen +++ b/.local/bin/manualgen @@ -10,10 +10,10 @@ s/\s*#-#$/\n##/; sed "s/-->/##\ /; s/:\(.*\)$/:\1\`/; s/\s+\s/+/g; - s/#\*\*:.*//") + s/#\*\*:.*//; + s/\(^##.*\)/\1\n/g") manual=$(cat $HOME/.config/manual.part) -printf " $manual \n $config" | gd2pdf +printf "$manual\n$config" | lowdown -sTms | pdfroff -itk -mspdf | zathura - -# printf " $manual \n $config" diff --git a/.local/bin/remaps b/.local/bin/remaps index ed6ae43..595022d 100755 --- a/.local/bin/remaps +++ b/.local/bin/remaps @@ -9,3 +9,5 @@ setxkbmap -option caps:super killall xcape 2>/dev/null ; xcape -e 'Super_L=Escape' # Map the menu button to right super as well. xmodmap -e 'keycode 135 = Super_R' +# Software fix for key bounce (debouncing) +xkbset bo 50 |