Récemment, j'ai installé Android Studio. Maintenant, je souhaite ajouter Android-studio/bin/de manière persistante à la variable d'environnement PATH sous la forme Session-wide environment variables
et non en tant que System-wide environment variables
. Pour ce faire, j'ai essayé de modifier ~/.profile
comme décrit ici . J'ai donc ceci à la fin de ~/.profile
:
if [ -d "$HOME/bin" ] ; then
PATH="$HOME/bin:$PATH:/usr/local/Android/android-studio/bin"
fi
Je me reconnecte ensuite pour initialiser la variable. Mais quand je lance studio.sh
dans le terminal, je reçois ceci:
studio.sh: commande non trouvée
Voici les résultats de $PATH
et echo $PATH
:
$ $PATH
bash: /usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:
No such file or directory
$ echo $PATH
/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
De plus, je suis sûr que ~/.bash_profile
et ~/.bash_login
n'existent pas. Maintenant quelle cause le problème et comment je peux résoudre cela?
Modifier:
Je change la fin de ~/.profile
en ceci, mais cela ne fonctionne pas:
# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
PATH="$HOME/bin:$PATH"
PATH="$PATH:/usr/local/Android/android-studio/bin"
fi
Il semble que vous ayez édité cet extrait de code:
if [ -d "$HOME/bin" ] ; then
PATH="$HOME/bin:$PATH"
fi
qui est inclus dans ~/.profile
par défaut.
La réponse qui vous a amené à le faire est source de confusion pour IMNSHO.
Je suggérerais que vous modifiiez ce code pour qu'il soit comme avant, et que vous ajoutiez une nouvelle ligne en dessous:
if [ -d "$HOME/bin" ] ; then
PATH="$HOME/bin:$PATH"
fi
PATH="$PATH:/usr/local/Android/android-studio/bin"
Ensuite, lors de votre prochaine connexion, PATH devrait être modifié, que $HOME/bin
existe ou non.
OK, il y a quelques problèmes ici:
Utilisez echo $PATH
au lieu de $PATH
pour le vérifier!
La raison en est que bash remplace $PATH
par le contenu de cette variable partout. Il suffit donc d’exécuter $PATH
pour exécuter le contenu de la variable, ce qui n’a aucun sens pour l’interprète bash.
~/.profile
à ~/.bashrc
."$HOME/bin"
existe en exécutant ls -d $HOME/bin
. Si vous obtenez une erreur telle que bash: ls: No such file or directory.
, elle n'existe pas. Si cela existe, vous devriez obtenir une sortie de type /home/[username]/bin
.Si tous sont satisfaits, alors vous devriez être prêt à partir. Si vous ne l'êtes pas, utilisez simplement la commande suivante: cd [path_to_studio_directory]; ./studio.sh
. De cette façon, vous commencerez dans ce dossier et garantirez son exécution.