2018-06-21 23:46:33 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
# Regenerate the fmtutil.cnf file from the pieces which are currently present
|
|
|
|
# in the fmtutil.cnf.d directory.
|
|
|
|
|
|
|
|
# Abort immediately if any command fails
|
|
|
|
set -o errexit
|
|
|
|
shopt -s nullglob
|
|
|
|
|
|
|
|
texdir=$1
|
|
|
|
[[ -z $texdir ]] && texdir=/usr/share/texlive
|
|
|
|
web2cdir=$texdir/texmf-dist/web2c
|
|
|
|
|
|
|
|
rm -f $web2cdir/fmtutil.cnf.rpmtmp
|
|
|
|
|
|
|
|
echo "# Generated by $0 on $(date)" > $web2cdir/fmtutil.cnf.rpmtmp
|
|
|
|
|
|
|
|
cat $web2cdir/fmtutil-hdr.cnf \
|
2018-11-26 18:00:17 +00:00
|
|
|
$texdir/fmtutil.cnf.d/* \
|
2018-06-21 23:46:33 +00:00
|
|
|
>> $web2cdir/fmtutil.cnf.rpmtmp
|
|
|
|
|
|
|
|
mv $web2cdir/fmtutil.cnf.rpmtmp $web2cdir/fmtutil.cnf
|