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 Enregistrez les modifications et quittez Ouvrez à nouveau un terminal et tapez ce qui …
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 variables ne sont pas définies à la fin. ~$: …
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 cela?
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 mettre dans un script bash et de l'exécuter à partir du …
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 dire? Dans quels cas la $DISPLAYvariable sera …
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: /usr/hitech/picc-18/pro/9.66/bin
Quels sont les bons endroits pour: Des variables d'environnement globales censées affecter tous les utilisateurs? Variables d'environnement spécifiques à l'utilisateur?
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 endroits?
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. Https://help.ubuntu.com/community/EnvironmentVariables présente une surcharge d'informations source de confusion …
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 /usr/local/texlive/2010/texmf/doc/info to INFOPATH. Most importantly, add /usr/local/texlive/2010/bin/x86_64-linux to your PATH for …
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 les compilateurs MKL et Intel. Ce flux de travail n'est pas le meilleur, mais c'est une autre histoire. Ma …
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é pour un utilisateur et un environnement particuliers, …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.