Re: [eside-ghost] Modificación del PATH de Gnome

[Txus Sanchez]

Por cierto...

Finalmente lo que he hecho ha sido copiar los exports que tenía en mi
.bashrc en el lanzador del panel. Para los curiosos:

****************
txus en edoras:~$ cat run-eclipse
#!/bin/bash
export TOMCAT_HOME=/usr/local/apache-tomcat-5.5.17
export JAVA_HOME=/usr/local/jdk1.5.0_05/
export PATH="/home/txus/mono-1.1.15/bin:$PATH"
export PKG_CONFIG_PATH="/home/txus/mono-1.1.15/lib/pkgconfig:$PKG_CONFIG_PATH"
export MANPATH="/home/txus/mono-1.1.15/share/man:$MANPATH"
export LD_LIBRARY_PATH="/home/txus/mono-1.1.15/lib:$LD_LIBRARY_PATH"
export ANT_HOME=/usr/local/apache-ant-1.6.5
export GLOBUS_LOCATION=/usr/local/globus
export PATH=$ANT_HOME/bin:$JAVA_HOME/bin:$PATH
source $GLOBUS_LOCATION/etc/globus-user-env.sh
source $GLOBUS_LOCATION/etc/globus-devel-env.sh
/home/txus/eclipse/eclipse

*****************************

Aunque me sigue quedando la duda si realmente se pueden definir este
tipo de variables en los lanzadores de gnome...

Eskerrik asko por las respuestas!
-- 
___________________________________________________________________

If your computer's broken because you are running Windows, don't just
fix it, 'nix it ;-)

		Txus Sánchez

	
Registered GNU/Linux user number: 346962
Key fingerprint = CF93 6A5A 5A43 F7AA 0F71  8A78 58DE 6EE4 5374 3E48
wget -O - fermat.movimage.com/txus.asc | gpg --import