Questions marquées «environment-variables»

Comment puis-je ajouter un répertoire à $PATHdans Ubuntu et rendre les modifications

Comment lister tous les noms de variables et leurs valeurs actuelles? Y compris non seulement $HOME, $PWDetc. mais tout autre que vous avez

Problème J'ai une machine virtuelle Ubuntu 11.04 et je voulais configurer mon environnement de développement Java. J'ai fait comme suit sudo apt-get install openjdk-6-jdk Ajout des entrées suivantes dans ~ / .bash_profile export JAVA_HOME=/usr/lib/jvm/java-6-openjdk export PATH=$PATH:$JAVA_HOME/bin...

J'ai écrit le script suivant pour définir certaines variables d'environnement lorsque cela est nécessaire. #!/bin/sh export BASE=/home/develop/trees echo $BASE export PATH=$PATH:$BASE echo $PATH Ci-dessous la commande et les résultats que je peux voir sur mon terminal: le script s'exécute, mais les...

J'essaie de configurer Apache Tomcat sur mon ordinateur. Il souhaite que je configure une variable d'environnement pour CATALINA_HOME. Est-ce que tout le monde sait comment faire

Est-il possible de définir la variable d'environnement dans un fichier .desktop? J'essaie d'exécuter une application (eclipse) avec un style gtk personnalisé. Je souhaite donc obtenir le résultat suivant en exécutant un fichier .desktop: GTK2_RC_FILES=gtkrc.custom /path/to/eclipse J'ai essayé de le...

Je suis nouveau dans les scripts shell. Je ne comprends pas quelle est la $DISPLAYvariable environnementale. J'ai Ubuntu 13.10 et j'utilise un /bin/bashshell. J'ai deux moniteurs. Des questions: La commande echo $DISPLAYimprimera :0.0sur ma machine (sur les deux moniteurs). Qu'est-ce que ça veut...

Quels sont les bons endroits pour: Des variables d'environnement globales censées affecter tous les utilisateurs? Variables d'environnement spécifiques à l'utilisateur?

Je viens d'installer le picc-9.82.9453-linux.runsite Web de Microchip, et à la fin, il m'a demandé ==> NOTE: You may wish to add the following /usr/hitech/picc/9.82/bin to your PATH environment variable. Qu'est-ce que ça veut dire? J'ai aussi besoin d'ajouter ceci au chemin de l'environnement:...

Où est l'endroit préféré pour définir l' PATHenvvar? ~/.profileou /etc/environment? Quel est le cas quand PATHest défini dans les deux endroits? Le résultat final est-il une concaténation des deux valeurs définies à ces deux

Quelqu'un m'a dit que: BASH n'est pas une variable d'environnement, c'est une variable shell Quelle est la

Je souhaite ajouter un répertoire pour rechercher mon chemin de recherche. Je sais que je dois modifier la PATHvariable d'environnement. Cependant, je veux que le changement soit permanent, afin qu'il soit toujours en vigueur, pour chaque fenêtre de terminal (bash) que j'ouvre.

Je viens de terminer l'installation de LaTeX pour le serveur Ubuntu de ma société, que tous les utilisateurs SSH peuvent utiliser. À la fin de l'installation, il est écrit ceci: Add /usr/local/texlive/2010/texmf/doc/man to MANPATH, if not dynamically determined. Add

Comme exemple à ma question, mon ~/.bashrcfichier contient ces lignes: export LD_LIBRARY_PATH=/opt/intel/mkl/lib/ia32:$LD_LIBRARY_PATH export LD_PRELOAD=/opt/intel/mkl/lib/ia32/libmkl_core.so de sorte que Numpy (Python) puisse trouver les bibliothèques qu’il doit exécuter, car il est construit avec...

Jusqu'à la date où j'avais l'habitude de définir mes variables d'environnement dans le bash.bashrcfichier. Récemment, on m'a dit d'utiliser le /etc/environmentfichier. Eh bien, les deux fonctionnent bien. Alors, quelle est la différence entre eux? J'ai googlé ceci et j'ai trouvé "bashrc est utilisé...

Les instructions de la section Comment définir des variables PATH pour tous les utilisateurs d'un serveur? travailler pour définir le PATH pour tous les utilisateurs «normaux». Cependant, si je le fais sudo -s, printenv PATHle chemin mis à jour n'est pas affiché. J'ai par exemple examiné la...

Pour créer des variables d'environnement persistantes, j'ajoute le fichier de script au répertoire /etc/profile.d, par exemple: # mon script exportation MY_VAR = valeur_var Cela fonctionne correctement pour l'utilisateur actuel: alex @ alex-64: ~ $ echo $ MY_VAR var_value Maintenant, j'ai besoin...

J'utilise Ubuntu 12.10 et j'ai installé Android SDK, défini son chemin d'accès dans mon utilisateur .bashrcet cela fonctionne. Le problème est que mon téléphone nécessite que adb soit exécuté par root pour les autorisations, mais en exécutant adb avec sudo, j'obtiens le message d'erreur suivant:...

Comment vais-je rendre cette /media/De Soft/mongodb/binvariable PATH permanente? Tout le monde dit " export PATH=$PATH:media/De\ Soft/mongodb/binà votre ~/.profile, ou .bashrc, ou .zshenvselon votre shell". Je ne sais pas ce qui est ~/.profile, ou .bashrc, ou .zshenv. Que font-ils réellement?...

Je cherchais la différence entre le "." et les commandes intégrées "source" et quelques sources (par exemple, dans cette discussion et la page de manuel bash ) suggèrent qu'elles sont identiques. Cependant, suite à un problème avec les variables d'environnement, j'ai effectué un test. J'ai créé un...