Hi! [...]
> > > > If somebody can give me a few usage scenarios for fmtutil (i.e., > > proper command lines) I'll happily try out that as well, > > > "fmtutil-sys --all" (run as root) regenerates all format files, > "fmtutil-sys --byfmt $format" just (re-)generates a single format > file, where $format is tex, amstex, pdftex etc. Also you should try > running "fmtutil -all" "fmtutil --byfmt $format", they generate > user-specific formats. > Done for all of the above, no errors. > > but at the moment this doesn't seem to be as painful as expected!? > > > Maybe we should simply introduce these -e switches and then wait for > the side effects. Norbert, Frank? > I really wouldn't claim to have done exhaustive testing, but I'd hope that I have at least covered the very basic use cases, and none of them causes an error. Therefore I'd also opt for adding set -e to the scripts and see what happens. Best, Michael
pgpq3fY0oEzPm.pgp
Description: PGP signature