diff options
author | Camil Staps | 2019-06-26 13:44:21 +0200 |
---|---|---|
committer | Camil Staps | 2019-06-26 13:44:21 +0200 |
commit | 1a9e3a7923269fa5065c88cb27df01d4fce63aca (patch) | |
tree | cadbfa6bbaaab586ac05239bf6cba75509b30c5f /clean/bin | |
parent | Remove neovim (diff) |
Minor improvements to Clean ecosystem
Diffstat (limited to 'clean/bin')
-rwxr-xr-x | clean/bin/install_clean | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clean/bin/install_clean b/clean/bin/install_clean index a47699e..74041df 100755 --- a/clean/bin/install_clean +++ b/clean/bin/install_clean @@ -66,7 +66,7 @@ link_local_file lib/exe/bcprelink ~/projects/clean/abc-interpreter/src/bcprelink link_local_file lib/exe/bcstrip ~/projects/clean/abc-interpreter/src/bcstrip # completion -for f in ~/projects/clean/completion/*; do +for f in ~/projects/clean/bash-completion/*; do [ -f "$f" ] || continue base="$(basename "$f")" if [[ "$base" == "Makefile" ]] || [[ "$base" == "README.md" ]] || [[ "$base" =~ .tar.gz$ ]]; then |