Comme mentionné précédemment , /usr/localest conçu comme un préfixe pour, essentiellement, les logiciels installés par l'administrateur système, alors qu'il /usrdevrait ê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 rpmet les debpaquets) 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 $HOMEcomme préfixe, car cela vous garantit des autorisations d’écriture. Personnellement, j’ai le sentiment d’utiliser $HOME/.localune 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/shareest 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 $PATHet 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_HOMEutilisé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_HOMEpeut être désactivé si la valeur par défaut $HOME/.configest 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.