mirror of
https://github.com/postgres/postgres.git
synced 2026-06-08 16:44:07 -04:00
27 lines
684 B
Bash
27 lines
684 B
Bash
#!/bin/sh
|
|
trap "rm -f /tmp/$$" 0 1 2 3 15
|
|
entab </dev/null >/dev/null
|
|
if [ "$?" -ne 0 ]
|
|
then echo "Go to the src/tools/entab directory and do a 'make' and 'make install'." >&2
|
|
echo "This will put the 'entab' command in your path." >&2
|
|
echo "Then run $0 again."
|
|
exit 1
|
|
fi
|
|
indent -st </dev/null >/dev/null
|
|
if [ "$?" -ne 0 ]
|
|
then echo "You do not appear to have 'indent' installed on your system." >&2
|
|
exit 1
|
|
fi
|
|
for FILE
|
|
do
|
|
cat $FILE |
|
|
sed 's;/\* *---;/*---X_X;g' |
|
|
detab -t4 |
|
|
indent -bad -bap -bbb -bc -bl -d0 -cdb -nce -cli1 -di16 -nfc1 \
|
|
-lp -nip -nbc -psl -di1 -i4 -l75 -st |
|
|
detab -t8 |
|
|
entab -qc -t4 |
|
|
sed 's;/\*---X_X;/* ---;g' >/tmp/$$ && cat /tmp/$$ >$FILE
|
|
done
|
|
|