diff options
| -rwxr-xr-x | fix_nt_symbol_path.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/fix_nt_symbol_path.sh b/fix_nt_symbol_path.sh index ae06aa4..30984fa 100755 --- a/fix_nt_symbol_path.sh +++ b/fix_nt_symbol_path.sh @@ -17,8 +17,8 @@ set -o errexit set -o nounset set -o pipefail -readonly script_argv0="$( printf '%q' "${BASH_SOURCE[0]}" )" -readonly script_dir="$( cd "$( dirname -- "$script_argv0" )" && pwd )" +readonly script_argv0="$( printf -- '%q' "${BASH_SOURCE[0]}" )" +readonly script_dir="$( cd -- "$( dirname -- "$script_argv0" )" && pwd )" dump() { local prefix="${FUNCNAME[0]}" |