On Tue 2017-01-10 (21:48), Peter Flynn wrote:
(/opt) > The idea has merit but the name is bad. > What I said: call things what they are, not what imagination offers. > Calling it /apps might have been a better idea, but it's too late now, > just another ill-considered name that needs better documenting. Like /usr No, it is NOT a short name fuer /user It is an abbreviation of UNIX system ressources. We have to live with it since 1970 :-) -- Ullrich Horlacher Server und Virtualisierung Rechenzentrum TIK Universitaet Stuttgart E-Mail: horlac...@tik.uni-stuttgart.de Allmandring 30a Tel: ++49-711-68565868 70569 Stuttgart (Germany) WWW: http://www.tik.uni-stuttgart.de/ REF:<db7aa40f-099d-5697-eccf-0653d9dce...@silmaril.ie> -- xubuntu-users mailing list xubuntu-users@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/xubuntu-users