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