diff options
| author | Andrew Tropin <andrew@trop.in> | 2022-08-31 14:43:57 +0300 |
|---|---|---|
| committer | Andrew Tropin <andrew@trop.in> | 2022-08-31 14:56:54 +0300 |
| commit | 2e559a358582fd8f56a035d0fac97be229752dfb (patch) | |
| tree | 8ed01de14e4d94713863d41305363869a7ce6d84 | |
| parent | 5ce7178eb8375716625de14f59e227fdd9b8d9f0 (diff) | |
gnu: bash-completion: Remove rudimentary /$base.
* gnu/packages/patches/bash-completion-directories.patch: Remove rudimentary
/$base.
| -rw-r--r-- | gnu/packages/patches/bash-completion-directories.patch | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gnu/packages/patches/bash-completion-directories.patch b/gnu/packages/patches/bash-completion-directories.patch index c8eb2424fd..a9b88203bd 100644 --- a/gnu/packages/patches/bash-completion-directories.patch +++ b/gnu/packages/patches/bash-completion-directories.patch @@ -18,12 +18,12 @@ This is what this patch does. - local -a dirs=(${BASH_COMPLETION_USER_DIR:-${XDG_DATA_HOME:-$HOME/.local/share}/bash-completion}/completions) + local -a dirs=( + ${BASH_COMPLETION_USER_DIR:-${XDG_DATA_HOME:-$HOME/.local/share}/bash-completion}/completions -+ "$HOME/.guix-profile/share/bash-completion/completions/$base" -+ "$HOME/.guix-profile/etc/bash_completion.d/$base" -+ "$HOME/.guix-home/profile/share/bash-completion/completions/$base" -+ "$HOME/.guix-home/profile/etc/bash_completion.d/$base" -+ "/run/current-system/profile/share/bash-completion/completions/$base" -+ "/run/current-system/profile/etc/bash_completion.d/$base" ) ++ "$HOME/.guix-profile/share/bash-completion/completions" ++ "$HOME/.guix-profile/etc/bash_completion.d" ++ "$HOME/.guix-home/profile/share/bash-completion/completions" ++ "$HOME/.guix-home/profile/etc/bash_completion.d" ++ "/run/current-system/profile/share/bash-completion/completions" ++ "/run/current-system/profile/etc/bash_completion.d" ) + local ifs=$IFS IFS=: dir cmd="${1##*/}" compfile [[ -n $cmd ]] || return 1 |