[tex-live] Re: texlive-20010307.iso.bz2 problems

Michael Wiedmann michael.wiedmann@detewe.de
Thu, 22 Mar 2001 12:55:15 +0100

"Kaja P. Christiansen" writes:
> If this is a timestamp problem (of which I am not sure), perhaps tuning
> nfs_32_time_ok would help? Try to set in /etc/system file:
>    set nfs:nfs_32_time_ok = 0xffffffff
> then reboot.

This solves my problems! Thanks a lot.
Now I have to convince my sysadmins to do this on all workstations ;-)

Thanks again
office:  michael.wiedmann@detewe.de
private: mw@miwie.in-berlin.de                 http://www.miwie.org/
         mw@miwie.org                          http://wap.miwie.org/