diff options
| author | ewy <ewy0@protonmail.com> | 2026-06-01 18:47:44 +0200 |
|---|---|---|
| committer | ewy <ewy0@protonmail.com> | 2026-06-01 18:47:44 +0200 |
| commit | 46d032cd21b0e8e2c94a32333d3805ec76980cca (patch) | |
| tree | fbb8aed5c5a501aca1309f62a9d4440ca949ce4c /.pik | |
| parent | 7585a488b7b1e1812f7ebf50107139e2fd65f035 (diff) | |
add man(1) generation
Diffstat (limited to '.pik')
| -rw-r--r-- | .pik/install.sh | 2 | ||||
| -rw-r--r-- | .pik/man.sh | 6 |
2 files changed, 8 insertions, 0 deletions
diff --git a/.pik/install.sh b/.pik/install.sh index 0b23681..82efd4a 100644 --- a/.pik/install.sh +++ b/.pik/install.sh @@ -17,4 +17,6 @@ if [[ $PATH != *"$DEST_FOLDER"* ]] ; then exit 1 fi +bash .pik/man.sh + echo "congratulations! You are now using pik $(pik --version)"
\ No newline at end of file diff --git a/.pik/man.sh b/.pik/man.sh new file mode 100644 index 0000000..2066c5c --- /dev/null +++ b/.pik/man.sh @@ -0,0 +1,6 @@ +#!/usr/bin/env bash +set -euo pipefail +MANDIR="$HOME/.local/share/man/man1" +mkdir -p "$MANDIR" +go run ./man +cp out/* "$MANDIR"
\ No newline at end of file |