diff options
| author | Mike Vink <mike.vink@stater.nl> | 2023-04-20 16:00:18 +0200 |
|---|---|---|
| committer | Mike Vink <mike.vink@stater.nl> | 2023-04-20 16:00:18 +0200 |
| commit | 7838c2d394522a80888856af6f7b5a02c1634ac8 (patch) | |
| tree | 33e8c6a11f99241cd01ca45bb0718d31ff5dd8fc /shell-scripts/filter-ansi | |
| parent | 6ec4598c514d75bef4094be00eae9e2041eef960 (diff) | |
fixup
Diffstat (limited to 'shell-scripts/filter-ansi')
| -rwxr-xr-x | shell-scripts/filter-ansi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/shell-scripts/filter-ansi b/shell-scripts/filter-ansi new file mode 100755 index 0000000..62999a9 --- /dev/null +++ b/shell-scripts/filter-ansi @@ -0,0 +1,2 @@ +#!@bash@/bin/bash +cat - | sed -e 's/\x1b\[[0-9;]*m//g' |