Forum Linux.debian/ubuntu .bash_profile : il se lance plus !

Posté par  .
Étiquettes :
0
30
sept.
2004
Bonjour
J'ai un petit problème sur ma debian (unstable): depuis je ne sais quand (je m'en suis aperçu il y a peu mais c'est peut être plus vieux) mon fichier ~/.bash_profile n'est plus lancé ! (ou il ne marche plus)
Voici son contenu :
if [ -f ~/.bashrc ]; then
. ~/.bashrc
fi

if [ -d ~/bin ] ; then
PATH=~/bin:"${PATH}"
fi

export JAVA_HOME=/opt/java/jdk1.5.0/
export ANT_HOME=/opt/java/apache-ant-1.6.2/
export PATH=$ANT_HOME/bin:$JAVA_HOME/bin:$PATH

J'ai essayé un chmod +x, sans résultat. comment faire ?
Merci d'avance

  • # shell de l'utilisateur

    Posté par  . Évalué à 1.

    Tu es bien en bash ? dernier champ de
    grep $USER /etc/passwd

  • # et dans la console

    Posté par  . Évalué à 6.

    as tu essayé d'ouvrir une session sur une console texte?

    peut etre que c'est ton terminal X ou ton window manager qui ne lance pas le shell correctement.

    j'avais eu le meme probleme avec cde sous solaris, bash n'etait pas lance en "interactive login shell"

    voir man bash:

    When bash is invoked as an interactive login shell, or as a non-interactive shell with the --login option, it first reads and executes commands from the file /etc/profile, if that file exists. After reading that file, it looks for ~/.bash_profile, ~/.bash_login, and ~/.profile, in that order, and reads and executes commands from the first one that exists and is readable. The --noprofile option may be used when the shell is started to inhibit this behavior.

    • [^] # Re: et dans la console

      Posté par  . Évalué à 1.

      Bravo, tu as résolu le problème.
      Merci beaucoup
      (Konsole => Configuration/Configurer Konsole, onglet Session)

  • # Et pourquoi pas le .bashrc ?

    Posté par  . Évalué à 2.

    Si c'est juste du positionnement de variables d'environnement, ne serait-il pas plus judicieux de mettre ces définitions dans le .bashrc afin que les scripts puissent les avoir ?

Suivre le flux des commentaires

Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.