style: no em-dash in post-install.sh comments

This commit is contained in:
veg 2026-09-21 09:36:04 +00:00
parent 81bf13bb8f
commit 733633bd65

6
tools/post-install.sh Executable file → Normal file
View file

@ -1,5 +1,5 @@
#!/bin/sh #!/bin/sh
# tools/post-install.sh — wire system PATH after `make install`, and # tools/post-install.sh: wire system PATH after `make install`, and
# reverse it on `make uninstall`. Idempotent on both sides. # reverse it on `make uninstall`. Idempotent on both sides.
# #
# Usage: tools/post-install.sh <install|uninstall> <prefix> # Usage: tools/post-install.sh <install|uninstall> <prefix>
@ -20,7 +20,7 @@
# Do not mutate any system file. # Do not mutate any system file.
# #
# DESTDIR-aware: the Makefile skips this script entirely when DESTDIR is set # DESTDIR-aware: the Makefile skips this script entirely when DESTDIR is set
# (package staging context — mutating /etc on the build host is wrong). # (package staging context: mutating /etc on the build host is wrong).
set -eu set -eu
@ -70,7 +70,7 @@ EOF
} }
# Idempotently add ($verb=install) or remove ($verb=uninstall) $needle as a # Idempotently add ($verb=install) or remove ($verb=uninstall) $needle as a
# component of the PATH= line in $file. Returns 0 in all expected cases — # component of the PATH= line in $file. Returns 0 in all expected cases:
# only awk/IO failures bubble up as nonzero. Prints what it did. # only awk/IO failures bubble up as nonzero. Prints what it did.
edit_path_line() { edit_path_line() {
verb=$1 file=$2 needle=$3 verb=$1 file=$2 needle=$3