diff options
-rw-r--r-- | .config/tidy.conf | 13 | ||||
-rw-r--r-- | .config/tidy/url.conf (renamed from .config/tidy/default.conf) | 1 | ||||
-rwxr-xr-x | .local/bin/tidy-url | 2 | ||||
-rwxr-xr-x | .local/bin/wrappers/tidy | 3 |
4 files changed, 16 insertions, 3 deletions
diff --git a/.config/tidy.conf b/.config/tidy.conf new file mode 100644 index 0000000..c031d89 --- /dev/null +++ b/.config/tidy.conf @@ -0,0 +1,13 @@ +accessibility-check: 0 +ascii-chars: yes +clean: yes +custom-tags: blocklevel +drop-empty-elements: no +fix-style-tags: no +indent-spaces: 2 +indent: yes +markup: no +quiet: no +show-body-only: yes +vertical-space: yes +wrap: 80 diff --git a/.config/tidy/default.conf b/.config/tidy/url.conf index 67a11e7..a762628 100644 --- a/.config/tidy/default.conf +++ b/.config/tidy/url.conf @@ -2,6 +2,7 @@ accessibility-check: 0 ascii-chars: yes clean: yes custom-tags: blocklevel +drop-empty-elements: no fix-style-tags: no indent-spaces: 2 indent: yes diff --git a/.local/bin/tidy-url b/.local/bin/tidy-url new file mode 100755 index 0000000..2aa400b --- /dev/null +++ b/.local/bin/tidy-url @@ -0,0 +1,2 @@ +#!/bin/sh -eu +curl --silent "$1" | tidy -config "$HOME/.config/tidy/url.conf" diff --git a/.local/bin/wrappers/tidy b/.local/bin/wrappers/tidy deleted file mode 100755 index d3a0aa4..0000000 --- a/.local/bin/wrappers/tidy +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh -eu -$(which tidy --all | grep --invert-match "local/bin" | head -n 1) \ - -config "$HOME/.config/tidy/default.conf" "$@" |