diff options
Diffstat (limited to '')
| -rwxr-xr-x | home-manager/packages/scripts/wrappers/deprecated/clippy | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/home-manager/packages/scripts/wrappers/deprecated/clippy b/home-manager/packages/scripts/wrappers/deprecated/clippy index 89f8554a..ec21ba07 100755 --- a/home-manager/packages/scripts/wrappers/deprecated/clippy +++ b/home-manager/packages/scripts/wrappers/deprecated/clippy @@ -1,7 +1,7 @@ -#!/bin/sh +#! /usr/bin/env dash # shellcheck disable=SC2086 # shellcheck source=/dev/null -. ~/.local/lib/shell/lib +. %SHELL_LIBRARY_PATH tmp=$(mktemp); cat << EOF > $tmp; |