From 733633bd650b3c6f7ce7db778417d727b28ab17f Mon Sep 17 00:00:00 2001 From: veg Date: Mon, 21 Sep 2026 09:36:04 +0000 Subject: [PATCH] style: no em-dash in post-install.sh comments --- tools/post-install.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) mode change 100755 => 100644 tools/post-install.sh diff --git a/tools/post-install.sh b/tools/post-install.sh old mode 100755 new mode 100644 index a7c02e7..8472ca7 --- a/tools/post-install.sh +++ b/tools/post-install.sh @@ -1,5 +1,5 @@ #!/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. # # Usage: tools/post-install.sh @@ -20,7 +20,7 @@ # Do not mutate any system file. # # 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 @@ -70,7 +70,7 @@ EOF } # 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. edit_path_line() { verb=$1 file=$2 needle=$3