diff options
Diffstat (limited to '')
| -rwxr-xr-x | home-manager/wms/river/init | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/home-manager/wms/river/init b/home-manager/wms/river/init index c74a73fe..59afa68a 100755 --- a/home-manager/wms/river/init +++ b/home-manager/wms/river/init @@ -1,7 +1,7 @@ #!/usr/bin/env dash -# shellcheck disable=SC2086 + # shellcheck source=/dev/null -. %SHELL_LIBRARY_PATH +SHELL_LIBRARY_VERSION="1.1.3" . %SHELL_LIBRARY_PATH err_fail() { if ! "$@";then |