mirror of
https://blitiri.com.ar/repos/chasquid
synced 2025-12-17 14:37:02 +00:00
948cee1ce1
This patch updates the shell scripts with some of the common best practices, which should make them more resilient to unusual failures and unexpected environments (in particular, directories with spaces). Most of these were identified by shellcheck.
28 lines
598 B
Bash
Executable File
28 lines
598 B
Bash
Executable File
#!/bin/bash
|
|
#
|
|
# Convert pod files to manual pages, using pod2man.
|
|
#
|
|
# Assumes files are named like:
|
|
# <name>.<section>.pod
|
|
|
|
set -e
|
|
|
|
for IN in *.pod; do
|
|
OUT=$(basename "$IN" .pod)
|
|
SECTION=${OUT##*.}
|
|
NAME=${OUT%.*}
|
|
|
|
# If it has not changed in git, set the mtime to the last commit that
|
|
# touched the file.
|
|
CHANGED=$( git status --porcelain -- "$IN" | wc -l )
|
|
if [ "$CHANGED" -eq 0 ]; then
|
|
GIT_MTIME=$( git log --pretty=%at -n1 -- "$IN" )
|
|
touch -d "@$GIT_MTIME" "$IN"
|
|
fi
|
|
|
|
podchecker "$IN"
|
|
pod2man --section="$SECTION" --name="$NAME" \
|
|
--release "" --center "" \
|
|
"$IN" "$OUT"
|
|
done
|