IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Navigation

Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter

Shell et commandes GNU Discussion :

[ZSH] Comment se définit le PATH


Sujet :

Shell et commandes GNU

  1. #1
    Membre Expert
    Avatar de gifffftane
    Profil pro
    Inscrit en
    Février 2007
    Messages
    2 354
    Détails du profil
    Informations personnelles :
    Localisation : France, Loire (Rhône Alpes)

    Informations forums :
    Inscription : Février 2007
    Messages : 2 354
    Par défaut [ZSH] Comment se définit le PATH
    J'utilise zsh.

    Je suis étonné, je ne vois nulle part dans les fichiers de lancement la définition de PATH. Dans mon HOME, comme fichier de lancement, je ne vois que .zshrc, et rien dedans qui définisse le PATH. Or il est bien orienté vers des répertoires particuliers à moi, donc il a bien dû à un moment ou à un autre être personnalisé ?...

    Merci pour votre aide et vos conseils.

  2. #2
    Modérateur
    Avatar de ggnore
    Profil pro
    Inscrit en
    Juillet 2004
    Messages
    2 472
    Détails du profil
    Informations personnelles :
    Âge : 46
    Localisation : France

    Informations forums :
    Inscription : Juillet 2004
    Messages : 2 472
    Par défaut
    Peut être dans /etc/profile ?
    Toutes les vertus des hommes se perdent dans l’intérêt comme les fleuves se perdent dans la mer.
    N'oubliez pas de consulter les FAQ Linux et les cours et tutoriels Linux

  3. #3
    Membre Expert
    Avatar de gifffftane
    Profil pro
    Inscrit en
    Février 2007
    Messages
    2 354
    Détails du profil
    Informations personnelles :
    Localisation : France, Loire (Rhône Alpes)

    Informations forums :
    Inscription : Février 2007
    Messages : 2 354
    Par défaut
    Il y a bien des choses dans /etc/profile, mais je ne vois rien qui corresponde à mon PATH.

    Merci pour ta suggestion, malheureusement il faudrait une autre idée

  4. #4
    Modérateur
    Avatar de ggnore
    Profil pro
    Inscrit en
    Juillet 2004
    Messages
    2 472
    Détails du profil
    Informations personnelles :
    Âge : 46
    Localisation : France

    Informations forums :
    Inscription : Juillet 2004
    Messages : 2 472
    Par défaut
    Perso j'ai ça :
    Code : Sélectionner tout - Visualiser dans une fenêtre à part
    1
    2
    3
    4
    5
    6
    7
    8
    9
    # /etc/profile: system-wide .profile file for the Bourne shell (sh(1))
    # and Bourne compatible shells (bash(1), ksh(1), ash(1), ...).
     
    if [ "`id -u`" -eq 0 ]; then
      PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/bin/X11"
    else
      PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/bin/X11:/usr/games"
    fi
    [...]
    Il y a $HOME/.zshrc, /etc/zshrc, $HOME/ .zsh_profile et finalement /etc/profile.

    tu as peut être un $HOME/.profile

    As tu essayé un petit
    dans ta $HOME
    ou
    dans /etc
    Toutes les vertus des hommes se perdent dans l’intérêt comme les fleuves se perdent dans la mer.
    N'oubliez pas de consulter les FAQ Linux et les cours et tutoriels Linux

  5. #5
    Membre Expert
    Avatar de gifffftane
    Profil pro
    Inscrit en
    Février 2007
    Messages
    2 354
    Détails du profil
    Informations personnelles :
    Localisation : France, Loire (Rhône Alpes)

    Informations forums :
    Inscription : Février 2007
    Messages : 2 354
    Par défaut
    Perso j'ai :

    ~ > cat /etc/profile [15:48:49]
    # /etc/profile -*- Mode: shell-script -*-
    # (c) MandrakeSoft, Chmouel Boudjnah <chmouel@mandrakesoft.com>

    loginsh=1

    if [ "$UID" -ge 500 ] && ! echo ${PATH} |grep -q /usr/games ; then
    PATH=$PATH:/usr/games
    fi
    Chez Mandrake (sic) on se préoccupe surtout des jeux !

    Pas de $HOME/.profile

    Rien avec grep.

    Ah l'intialisation (soupir).

  6. #6
    Modérateur
    Avatar de ggnore
    Profil pro
    Inscrit en
    Juillet 2004
    Messages
    2 472
    Détails du profil
    Informations personnelles :
    Âge : 46
    Localisation : France

    Informations forums :
    Inscription : Juillet 2004
    Messages : 2 472
    Par défaut
    pas de /etc/profile.d ?
    /etc/environment peut être ?

    Essaie ça peut être, dans /etc

    Code : Sélectionner tout - Visualiser dans une fenêtre à part
    grep -R ^PATH= * 2>/dev/null
    attention ça sort beaucoup de choses
    Toutes les vertus des hommes se perdent dans l’intérêt comme les fleuves se perdent dans la mer.
    N'oubliez pas de consulter les FAQ Linux et les cours et tutoriels Linux

  7. #7
    Membre Expert
    Avatar de gifffftane
    Profil pro
    Inscrit en
    Février 2007
    Messages
    2 354
    Détails du profil
    Informations personnelles :
    Localisation : France, Loire (Rhône Alpes)

    Informations forums :
    Inscription : Février 2007
    Messages : 2 354
    Par défaut
    /etc/profile.d est un répertoire chez moi, et contient plein de fichiers en .csh ou .sh ; je ne sais pas à quoi ils servent.

    /etc/environment est un fichier qui ne contient que des commentaires.

    grep -R ^PATH= * 2>/dev/null (c'est quoi ce ^PATH ? ) ne me renvoie qu'un fichier à moi qui n'a rien à voir.

  8. #8
    Modérateur
    Avatar de ggnore
    Profil pro
    Inscrit en
    Juillet 2004
    Messages
    2 472
    Détails du profil
    Informations personnelles :
    Âge : 46
    Localisation : France

    Informations forums :
    Inscription : Juillet 2004
    Messages : 2 472
    Par défaut
    ^PATH= ça veut dire une ligne qui commence par PATH=
    Normalement c'est comme ça que c'est déclaré

    Dans /etc/environment, j'ai une déclaration du path. Par contre je n'ai rien dans profile.d

    Tu peux tenter d'afficher ton path :
    et de faire des grep sur les chemins que tu trouves. Tu pourrais trouver où la variable est attribuée, et quel fichiers source là où c'est attribué.

    Tu pourrais tenter de rajouter l'option -i aux grep, ça ignore les différences majuscules/minuscules.

    erreur corrigée : c'était .zshrc ou.zsh_profile qu'il fallait consulter
    Toutes les vertus des hommes se perdent dans l’intérêt comme les fleuves se perdent dans la mer.
    N'oubliez pas de consulter les FAQ Linux et les cours et tutoriels Linux

  9. #9
    Membre Expert
    Avatar de gifffftane
    Profil pro
    Inscrit en
    Février 2007
    Messages
    2 354
    Détails du profil
    Informations personnelles :
    Localisation : France, Loire (Rhône Alpes)

    Informations forums :
    Inscription : Février 2007
    Messages : 2 354
    Par défaut
    Je pense que ça vient de mon .bashrc et de KDE, mais pour des raisons qui m'échappent.

    Les faits :
    • Mon shell par défaut est le zsh (enfin... en tous les cas c'est celui que j'ai quand j'ai une console).
    • Si je me logue à partir d'une console sous KDE, j'ai mon PATH curieux
    • Si je me logue à partir d'une terminal texte (enfin... ALT-CTRL-1), alors j'ai un PATH normal que je m'explique.
    • Si je change de nom le .bashrc, alors tout est normal dans les deux cas.

    Donc il y a quelque chose sous KDE qui lit le .bashrc et qui le transmet à zsh. Mais Quoi ?

Discussions similaires

  1. Réponses: 1
    Dernier message: 19/10/2011, 13h31
  2. Comment configurer le context path pour un war ?
    Par piloupy dans le forum Tomcat et TomEE
    Réponses: 4
    Dernier message: 15/08/2010, 12h56
  3. Réponses: 3
    Dernier message: 26/08/2009, 11h01
  4. [SQL SERVER 2005] comment changer le "data path" ?
    Par Yorel dans le forum MS SQL Server
    Réponses: 3
    Dernier message: 05/07/2007, 10h42

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo