Tomasz Wegrzanowski wrote:
So what about replacing RedHat with something else on
other machines
too ?
Well, for the production servers this is essentially out of the
question right now. They're heavily in use, and changing the OS would
be quite the big ordeal! And so far as I know, if the issue is just
CJK latex, that should be easier to resolve by updating LaTex rather
than completely changing the OS.
RedHat is perfectly good, I like RedHat.
--Jimbo