diff options
Diffstat (limited to '.local')
-rwxr-xr-x | .local/bin/vale | 16 | ||||
-rwxr-xr-x | .local/bin/vale-wrapper | 2 |
2 files changed, 16 insertions, 2 deletions
diff --git a/.local/bin/vale b/.local/bin/vale new file mode 100755 index 0000000..fb86fde --- /dev/null +++ b/.local/bin/vale @@ -0,0 +1,16 @@ +#!/bin/sh -eu + +directory="$XDG_CONFIG_HOME/vale" +styles="$directory/styles" +mkdir -p "$directory" "$styles"; + +if [ "${1:-}" = "--update" ]; then + svn export --force https://github.com/errata-ai/Google/trunk/Google "$styles/google"; + svn export --force https://github.com/errata-ai/joblint/trunk/Joblint "$styles/joblint"; + svn export --force https://github.com/errata-ai/Microsoft/trunk/Microsoft "$styles/microsoft"; + svn export --force https://github.com/errata-ai/proselint/trunk/proselint "$styles/proselint"; + svn export --force https://github.com/errata-ai/write-good/trunk/write-good "$styles/write-good"; + exit; +fi + +$(which vale --all | grep -v "local/bin" | head -n 1) --config "$directory/vale.ini" "$@"; diff --git a/.local/bin/vale-wrapper b/.local/bin/vale-wrapper deleted file mode 100755 index 5efabd4..0000000 --- a/.local/bin/vale-wrapper +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/sh -eu -vale --config "$XDG_CONFIG_HOME/vale/vale.ini" "$@" |