1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-15 01:23:49 +01:00

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
This commit is contained in:
Marian Buschsieweke 2025-11-08 15:13:35 +01:00 committed by Marian Buschsieweke
parent 3cd033560d
commit 4710d567df
No known key found for this signature in database
GPG Key ID: 77AA882EC78084E6
2 changed files with 3 additions and 3 deletions

View File

@ -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