Je ne suis pas tellement sous Linux et j'ai le doute suivant suite à un tutoriel.
Je dois modifier le bashrcfichier. 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 exportdé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 PATHle nom de la variable que je définis? Qu'est-ce que c'est $HOME?
Que signifie le :symbole entre PATH=$HOME/.local/binet $HOME/.local/usr/binet $PATHsection dans l'expression précédente?
Que signifie exactement cette expression?
PATHmodifications est déjà effectué dans le ~/.profilefichier, il est donc un peu incohérent de faire des choses similaires dans ~/.bashrc. Mieux vaut IMO pour modifier le code déjà ~/.profilesi nécessaire. Actuellement, le ~/.profilefichier par défaut comprend cette ligne:PATH="$HOME/bin:$HOME/.local/bin:$PATH"
~/.bashrc, elle ~/.profileprovient du gestionnaire d'affichage, donc seules les variables définies par ~/.profilesont 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.