diff options
| author | Jesse Luehrs <doy@tozt.net> | 2018-11-10 14:41:38 -0500 |
|---|---|---|
| committer | Jesse Luehrs <doy@tozt.net> | 2018-11-10 14:43:14 -0500 |
| commit | 09366721b4a5405ccd24e21c9f0c4edd25d51196 (patch) | |
| tree | fd72dec2d55f51aecc1b76b01dd7ed18c1be9d87 /bin/vimmanpager | |
| parent | 12d2a797346af8fc2908bf5d7873414811a7e9cc (diff) | |
| download | conf-09366721b4a5405ccd24e21c9f0c4edd25d51196.tar.gz conf-09366721b4a5405ccd24e21c9f0c4edd25d51196.zip | |
various script cleanups
Diffstat (limited to 'bin/vimmanpager')
| -rwxr-xr-x | bin/vimmanpager | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/vimmanpager b/bin/vimmanpager index 9df7f94..d33e4f9 100755 --- a/bin/vimmanpager +++ b/bin/vimmanpager @@ -1,4 +1,7 @@ #!/bin/sh +set -eu +set -o pipefail + sed -e 's/\x1B\[[[:digit:]]\+m//g' | col -b | \ vim \ -c 'let no_plugin_maps = 1' \ |