Comme mentionné précédemment , /usr/local
est conçu comme un préfixe pour, essentiellement, les logiciels installés par l'administrateur système, alors qu'il /usr
devrait être utilisé pour les logiciels installés à partir des packages de la distribution.
L'idée sous - jacente est d'éviter les conflits avec les logiciels distribués (tels que rpm
et les deb
paquets) et de donner à l'administrateur complet règne sur le préfixe « local ».
Cela signifie qu'un administrateur peut installer un logiciel compilé personnalisé tout en utilisant une distribution comme debian.
Les logiciels placés dans / ou / usr peuvent être écrasés par les mises à niveau du système (nous recommandons toutefois que les distributions ne écrasent pas les données dans / etc dans ces circonstances). Pour cette raison, les logiciels locaux ne doivent pas être placés hors de / usr / local sans raison valable.
Lors de l’installation de logiciels spécifiques à l’utilisateur, uther suggère de l’ utiliser $HOME
comme préfixe, car cela vous garantit des autorisations d’écriture. Personnellement, j’ai le sentiment d’utiliser $HOME/.local
une solution plus élégante, car elle évite d’encombrer votre (et j'espère) votre répertoire personnel agréable et bien rangé!
$HOME/.local/share
est déjà utilisé dans la freedesktop.org spécification XDG Répertoire de base , donc il ne faut pas beaucoup pour envisager d' ajouter un $HOME/.local/bin
à votre $PATH
et faire un $HOME/.local/lib
, etc, pendant que vous y êtes.
Si vous ne voulez pas vraiment que votre préfixe soit un répertoire caché, vous pouvez également créer un lien symbolique vers celui-ci, par exemple:
ln -s .local ~/local
Sidenote
Il est à noter que .config
(not .local/etc
) est la valeur par défaut $XDG_CONFIG_HOME
utilisée pour les fichiers de configuration spécifiques à l'utilisateur. Je devrais également souligner que, malheureusement, une grande partie du logiciel ignore le XDG et crée des fichiers de configuration où bon leur semble (généralement à la racine de $HOME
). Notez également que $XDG_CONFIG_HOME
peut être désactivé si la valeur par défaut $HOME/.config
est souhaitée.
Bizarrement, aucun répertoire n'est réservé aux fichiers de configuration par défaut d'une distribution. Il est donc impossible de savoir si un fichier a /etc
été fourni par la distribution ou édité par l'administrateur système.