Je ne suis pas tellement sous Linux et j'ai le doute suivant suite à un tutoriel.
Je dois modifier le bashrc
fichier. Quels types de paramètres sont contenus dans ce fichier? Je pense que quelque chose est lié à l'environnement du shell bash mais je n'en suis pas si sûr.
Je dois insérer cette ligne:
export PATH=$HOME/.local/bin:$HOME/.local/usr/bin:$PATH
Que fait exactement cette ligne?
Je pense que cette export
déclaration est utilisée pour créer une nouvelle variable la rendant disponible pour un autre programme.
Mais qu'est-ce que cette ligne exactement? Est PATH
le nom de la variable que je définis? Qu'est-ce que c'est $HOME
?
Que signifie le :
symbole entre PATH=$HOME/.local/bin
et $HOME/.local/usr/bin
et $PATH
section dans l'expression précédente?
Que signifie exactement cette expression?
PATH
modifications est déjà effectué dans le ~/.profile
fichier, il est donc un peu incohérent de faire des choses similaires dans ~/.bashrc
. Mieux vaut IMO pour modifier le code déjà ~/.profile
si nécessaire. Actuellement, le ~/.profile
fichier par défaut comprend cette ligne:PATH="$HOME/bin:$HOME/.local/bin:$PATH"
~/.bashrc
, elle ~/.profile
provient du gestionnaire d'affichage, donc seules les variables définies par ~/.profile
sont disponibles lorsque vous démarrez des programmes à partir de l'environnement graphique. Et cela se produit tôt, donc cela devrait être correct pour les processus démarrés automatiquement pour la session.