public-mirrors
/
innernet
mirror of https://github.com/tonarino/innernet.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

release.sh: fix completion generation

pull/103/head
Jake McGinty 2021-06-01 00:11:14 +09:00
parent 15e9c08a8a
commit 5570580b78
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
release.sh
View File

@ -28,8 +28,7 @@ cargo build
for binary in "innernet" "innernet-server"; do for binary in "innernet" "innernet-server"; do
for shell in {fish,zsh,bash,powershell,elvish}; do for shell in {fish,zsh,bash,powershell,elvish}; do
"target/debug/$binary" completions $shell > doc/$binary.completions.$shell "target/debug/$binary" completions $shell > doc/$binary.completions.$shell || die "CLI completion failed for $shell"
git diff --quiet -- doc/$binary.completions.$shell || die "CLI and Completions out of sync for $shell"
done done
help2man --no-discard-stderr -s8 "target/debug/$binary" -N > "doc/$binary.8" help2man --no-discard-stderr -s8 "target/debug/$binary" -N > "doc/$binary.8"
gzip -fk "doc/$binary.8" gzip -fk "doc/$binary.8"