Comment ouvrir gnome-terminal avec de nouvelles variables d'environnement?

Question

J'ai un fichier qui définit les variables d'environnement (JAVA_HOME, ANT_HOME ...) que j'utilise pour effectuer des tâches liées à la programmation java. Lorsque je veux configurer le nouvel environnement, je tape "source devenv" (devenv étant le fichier qui contient la nouvelle configuration de l'environnement). J'essaie de créer un raccourci qui ouvre le terminal GNOME et définit automatiquement ces variables, mais je ne sais pas comment. J'ai essayé. "Gnome-terminal --command =" source de devenv » sans succès

Mon fichier devenv:

#!/bin/bash 
JAVA_HOME=./jdk1.6.0_21 
export PATH=$JAVA_HOME/bin:$PATH 
export ANT_HOME=./apache-ant-1.8.1 
PS1="[jdkenvironment] \w @ " 
/bin/bash 

Quand je tapez echo $ JAVA_HOME ce qui suit est imprimé:

thiago@thiago-laptop:~/jdk$ echo $JAVA_HOME 

thiago@thiago-laptop:~/jdk$ 

Answer 1

Si vous êtes ok avec l'ajout d'un appel à/bin/bash ou du shell à la fin de devenv, cela devrait fonctionner:

gnome-terminal --command="bash devenv" 

Si vous utilisez devenv pour définir une variable foo, il devra ressembler à ceci:

#!/bin/bash 
set foo=2 
export foo 
/bin/bash