Il y a une interface graphique dans Windows pour modifier la variable de chemin. Je me demandais s'il y avait quelque chose d'équivalent dans Ubuntu pour faire de même.
Il y a une interface graphique dans Windows pour modifier la variable de chemin. Je me demandais s'il y avait quelque chose d'équivalent dans Ubuntu pour faire de même.
Réponses:
La chose est ... path
est définie dans plusieurs fichiers texte en fonction de ce que vous voulez accomplir, comme ~/.profile
pour l'utilisateur, /etc/profile
par défaut pour les utilisateurs, /etc/environment
pour le système ou /etc/bash.bashrc
pour les shells bash interactifs à l'échelle du système. Dans certains de ces $ PATH est défini dans le cadre d'un codage.
Un éditeur de texte est donc la chose la plus logique à utiliser. Comme gedit
si vous le vouliez graphique mais que vous regarderez toujours le même type de transaction qu'avec nano
ou vi
depuis la ligne de commande. Mais il ne sera pas possible avec quelque chose où vous éditez dans certains répertoires avec une zone de saisie de parcourir les répertoires car sous Linux PATH peut avoir plus de logique que de simplement éditer une variable.
Mon conseil: habituez-vous à l'édition de ligne de commande pour des choses comme ça et des choses similaires. Il vous aidera un jour à résoudre vos problèmes lorsque vous ne pourrez pas vous connecter ou que Unity plantera juste après la connexion.
Il est plus probable qu'il y ait une raison pour que cela se fasse de cette façon. Linux a beaucoup plus de façons de faire que n'importe lequel d'entre nous ne l'utilisera jamais, mais cela ne signifie pas que quelqu'un d'autre n'en a pas besoin.
Pour le latex, je suggère de l'ajouter à /etc/bash.bashrc
. C'est l'endroit où éditer le chemin pour les shells bash à l'échelle du système.
gksu gedit /etc/bash.bashrc
Après l'avoir ajouté et enregistré, vous pouvez vérifier avec
echo $PATH
s'il est réglé correctement (et ce sera permanent).