diff options
| -rwxr-xr-x | filters/hldiff | 3 | ||||
| -rwxr-xr-x | filters/plaintext | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/filters/hldiff b/filters/hldiff index 64e95d2c..dc8c727f 100755 --- a/filters/hldiff +++ b/filters/hldiff @@ -1,4 +1,5 @@ -# vim: set ft=awk : +#!/usr/bin/awk -f + BEGIN { bright = "\x1B[1m" red = "\x1B[31m" diff --git a/filters/plaintext b/filters/plaintext index cfaa170e..922ae7c7 100755 --- a/filters/plaintext +++ b/filters/plaintext @@ -1,4 +1,5 @@ -# vim: set ft=awk : +#!/usr/bin/awk -f + BEGIN { dim = "\x1B[2m" cyan = "\x1B[36m" |