Sujet : Re: usrmerge
De : nicolas$george (at) *nospam* salle-s.org (Nicolas George)
Groupes : fr.comp.os.linux.debatsDate : 28. Sep 2022, 21:05:57
Autres entêtes
Organisation : Guest of ProXad - France
Message-ID : <63349b15$0$25477$426a74cc@news.free.fr>
References : 1 2 3
User-Agent : Flrn (0.9.20070704)
tTh , dans le message <
th248g$1vtk$1@news.gegeweb.eu>, a écrit :
Sauf que merger /bin et /usr/bin, je ne vois pas pourquoi
on n'y rajouterais pas dans la foulée /usr/local/bin, et,
soyons fous, /opt/bin ;)
Parce que les raisons de séparer /usr/local et /opt sont toujours
d'actualité, alors que les raisons pour garder /bin hors de /usr ont cessé
d'être pertinentes à peu près à l'époque où les compétences de certains
administrateurs système qui interviennent ici se sont fossilisées.