Am 16.02.2012 09:38, schrieb Oleksandr Shneyder:
Sorry, in my opinion the session settings are very user specific and should be not saved centrally. You can write a simple shell script to copy template file with session settings into directories of each user on system.
I do disagree somewhat. Depending on your system configuration it might be reasonable to put the configuration at some place and have the .cache at $TEMP. Besides that, adjusting this shouldn't be too much trouble. That said, I do not want to suggest that you, Alex, need to implement this, but should be open to someone (Stefan?) providing a patch.
Cheers Morty
-- Dipl.-Ing. Moritz 'Morty' Struebe (Wissenschaftlicher Mitarbeiter) Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Friedrich-Alexander-Universität Erlangen-Nürnberg Martensstr. 1 91058 Erlangen
Tel : +49 9131 85-25419 Fax : +49 9131 85-28732 eMail : struebe@informatik.uni-erlangen.de WWW : http://www4.informatik.uni-erlangen.de/~morty