c7af89c797
On operating systems where /bin/sh is not Bash, some scripts are invalid
because of bashisms, and building Lix fails with errors like this:
`render-manpage.sh: 3: set: Illegal option -o pipefail`
This modifies all scripts that use a `/bin/sh` shebang to `/usr/bin/env
bash`, including currently POSIX-compliant ones, to prevent any future
confusion.
Change-Id: Ia074cc6db42d40fc59a63726f6194ea0149ea5e0
33 lines
1.2 KiB
Bash
Executable file
33 lines
1.2 KiB
Bash
Executable file
#!/usr/bin/env bash
|
|
|
|
set -euo pipefail
|
|
|
|
infile="$1"
|
|
outfile="$2"
|
|
shift 2
|
|
|
|
# set a search path for includes. the old makefile-based system splorked
|
|
# everything into the source tree and was thus able to not have a search
|
|
# path, but the meson system generates intermediate files into dedicated
|
|
# directories separate from the source. we still retain the implicit old
|
|
# behavior for now as the base search path, once meson is the default we
|
|
# can revisit this and remove the implicit search path entry. it's fine.
|
|
set -- "$(dirname "$infile")" "$@"
|
|
|
|
# re-implement mdBook's include directive to make it usable for terminal output and for proper @docroot@ substitution
|
|
(grep '{{#include' "$infile" || true) | while read -r line; do
|
|
found=false
|
|
include="$(printf "$line" | sed 's/{{#include \(.*\)}}/\1/')"
|
|
for path in "$@"; do
|
|
filename="$path/$include"
|
|
if [ -e "$filename" ]; then
|
|
found=true
|
|
matchline="$(printf "$line" | sed 's|/|\\/|g')"
|
|
sed -i "/$matchline/r $filename" "$outfile"
|
|
sed -i "s/$matchline//" "$outfile"
|
|
break
|
|
fi
|
|
done
|
|
$found || ( echo "#include-d file '$filename' does not exist." >&2; exit 1; )
|
|
done
|