Re: environnement shell

Bonjour, En effet par défaut sous etch, le .bash_profile n'est pas lu au login. Il suffit alors de créer un fichier ~/.xinitrc contenant par exemple #!/bin/bash xrdb -merge ~/.Xdefaults source .bash_profile exec

environnement shell

Bonjour, je suis sous debian etch, j'essaie d'étendre mon $PATH, j'ai d'abord modifié ~/.bash_profile if [ -d /usr/local/bin/firefox ] ; then PATH=/usr/local/bin/firefox:${PATH}) sans succès puis /etc/profile if [ `id -u` -eq 0 ]; then

Re: environnement shell

Bonjour, On Sat, 11 Mar 2006 13:53:44 +0100 benoit soete [EMAIL PROTECTED] wrote: Bonjour, je suis sous debian etch, j'essaie d'étendre mon $PATH, j'ai d'abord modifié ~/.bash_profile if [ -d /usr/local/bin/firefox ] ; then PATH=/usr/local/bin/firefox:${PATH}) sans succès j'espère

Re: environnement shell

benoit soete a écrit : Bonjour, je suis sous debian etch, j'essaie d'étendre mon $PATH, j'ai d'abord modifié ~/.bash_profile if [ -d /usr/local/bin/firefox ] ; then PATH=/usr/local/bin/firefox:${PATH}) sans succès puis /etc/profile if [ `id -u` -eq 0 ]; then ne fonctionne que si tu es

Re: environnement shell

Simon Vallet a écrit : Bonjour, On Sat, 11 Mar 2006 13:53:44 +0100 benoit soete [EMAIL PROTECTED] wrote: Bonjour, je suis sous debian etch, j'essaie d'étendre mon $PATH, j'ai d'abord modifié ~/.bash_profile if [ -d /usr/local/bin/firefox ] ; then PATH=/usr/local/bin/firefox:${PATH})

Re: environnement shell

Laurent CARON a écrit : benoit soete a écrit : Bonjour, je suis sous debian etch, j'essaie d'étendre mon $PATH, j'ai d'abord modifié ~/.bash_profile if [ -d /usr/local/bin/firefox ] ; then PATH=/usr/local/bin/firefox:${PATH}) sans succès puis /etc/profile if [ `id -u` -eq 0 ]; then

Re: environnement shell

benoit soete a écrit, samedi 11 mars 2006, à 13:53 : Bonjour, bonjour, je suis sous debian etch, j'essaie d'étendre mon $PATH, j'ai d'abord modifié ~/.bash_profile if [ -d /usr/local/bin/firefox ] ; then PATH=/usr/local/bin/firefox:${PATH}) sans succès En général, ce bin/firefox est