#1 Le 03/09/2018, à 23:14
- katian
[RESOLU] découverte de $HOME/bin
Salut !
je découvre que l'on peux placer des scripts dans le répertoire $HOME/bin pour qu'ils soient dispo de n'importe où, c'est très pratique !
Dernière modification par katian (Le 06/09/2018, à 22:05)
Hors ligne
#2 Le 04/09/2018, à 09:17
- Zakhar
Re : [RESOLU] découverte de $HOME/bin
Lecture intéressante (Anglais) : Filesystem Hierarchy Standard
Les répertoires dans /home qui sont dans le PATH sont un miroir de /usr pour les programmes réservés à cet utilisateur.
/usr//bin ($HOME/bin) sont pour ce qui est installé en standard par la distribution
/usr/local/bin ($HOME/.local/bin) sont pour ce que l'utilisateur installe lui-même et qui doit donc avoir précédence, et ne pas interférer avec l'installation d'éléments de la distribution.
"A computer is like air conditioning: it becomes useless when you open windows." (Linus Torvald)
Hors ligne
#3 Le 04/09/2018, à 12:34
- katian
Re : [RESOLU] découverte de $HOME/bin
merci Zakhar donc je place mes scripts dans $HOME/.local/bin
Hors ligne