Op woensdag 3 januari 2007 13:17, schreef Stanislav Brabec: > - Long time planned prefix move from /opt/gnome to /usr.
is it possible to explain, why this is done? What is the advantage of /usr or the disadvantage of /opt? -- Richard Bos Without a home the journey is endless --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
