From 4710d567dfe1857686642af2f93b47119b10b98f Mon Sep 17 00:00:00 2001 From: Marian Buschsieweke Date: Sat, 8 Nov 2025 15:13:35 +0100 Subject: [PATCH] dist/tools/zsh-completion: rename file .sh --> .zsh This should prevent the CI from picking up the file for shellcheck linting. Sadly, shellcheck [does not support][1] zsh. [1]: https://github.com/koalaman/shellcheck/issues/809 --- dist/tools/zsh-completion/README.md | 6 +++--- dist/tools/zsh-completion/{zsh-riot.sh => zsh-riot.zsh} | 0 2 files changed, 3 insertions(+), 3 deletions(-) rename dist/tools/zsh-completion/{zsh-riot.sh => zsh-riot.zsh} (100%) diff --git a/dist/tools/zsh-completion/README.md b/dist/tools/zsh-completion/README.md index 27e5106e50..f016b368c4 100644 --- a/dist/tools/zsh-completion/README.md +++ b/dist/tools/zsh-completion/README.md @@ -8,15 +8,15 @@ the CI are (intentionally) not added. ## Installation -1. Copy the `zsh-riot.sh` script where you can find it, - e.g. `cp zsh-riot.sh ~/.zsh-riot.sh` +1. Copy the `zsh-riot.zsh` script where you can find it, + e.g. `cp zsh-riot.zsh ~/.zsh-riot.zsh` 2. Hook up the custom RIOT specific make completion in `.zshrc` and use that instead of the default `make` completion if and only if the working directory is inside a RIOT repository. This can be done by adding the following snippet: ``` sh -source ~/.zsh-riot.sh +source ~/.zsh-riot.zsh compdef ' if git rev-parse --is-inside-work-tree &> /dev/null && [[ -e "$(git rev-parse --show-toplevel)/.murdock" ]]; then _riot diff --git a/dist/tools/zsh-completion/zsh-riot.sh b/dist/tools/zsh-completion/zsh-riot.zsh similarity index 100% rename from dist/tools/zsh-completion/zsh-riot.sh rename to dist/tools/zsh-completion/zsh-riot.zsh