Skip to content

Commit 4710d56

Browse files
committed
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]: koalaman/shellcheck#809
1 parent 3cd0335 commit 4710d56

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

dist/tools/zsh-completion/README.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,15 +8,15 @@ the CI are (intentionally) not added.
88

99
## Installation
1010

11-
1. Copy the `zsh-riot.sh` script where you can find it,
12-
e.g. `cp zsh-riot.sh ~/.zsh-riot.sh`
11+
1. Copy the `zsh-riot.zsh` script where you can find it,
12+
e.g. `cp zsh-riot.zsh ~/.zsh-riot.zsh`
1313
2. Hook up the custom RIOT specific make completion in `.zshrc` and use that
1414
instead of the default `make` completion if and only if the working
1515
directory is inside a RIOT repository. This can be done by adding the
1616
following snippet:
1717

1818
``` sh
19-
source ~/.zsh-riot.sh
19+
source ~/.zsh-riot.zsh
2020
compdef '
2121
if git rev-parse --is-inside-work-tree &> /dev/null && [[ -e "$(git rev-parse --show-toplevel)/.murdock" ]]; then
2222
_riot
File renamed without changes.

0 commit comments

Comments
 (0)