Logo GNT
Actualités Tests & Guides Bons Plans
GTA 6 iPhone 17 Copilot Switch 2 Temu ChatGPT Tesla
OVH Cloud OVH Cloud
Entraide Linux Autres OS Linux Debian environnement shell

environnement shell

6 réponses
Avatar
benoit soete
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

PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/bin/X11"
else

PATH="/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games:/usr/local/bin/firefox"
fi

rien à faire j'ai toujours le même $PATH :

~$ echo $PATH
/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games

Il me semble pourtant que c'est la manière de faire, je viens de relire
le mini path howto...


--
Pensez à lire la FAQ de la liste avant de poser une question :
http://wiki.debian.net/?DebianFrench

Pensez à rajouter le mot ``spam'' dans vos champs "From" et "Reply-To:"

To UNSUBSCRIBE, email to debian-user-french-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Signaler un problème avec ce contenu

6 réponses

Supprimer
Cette action est irreversible, confirmez la suppression du commentaire ?
Signaler le commentaire

Veuillez sélectionner un problème

Nudité
Violence
Harcèlement
Fraude
Vente illégale
Discours haineux
Terrorisme
Autre
Avatar
Simon Vallet
Bonjour,

On Sat, 11 Mar 2006 13:53:44 +0100
benoit soete 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 que ta parenthèse fermante ne fait pas partie du profile...

puis /etc/profile
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/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games:/usr/local/b in/firefox"
fi

rien à faire j'ai toujours le même $PATH :



les deux sont censés fonctionner, mais il faut que tu démarre une
nouvelle session pour que le profile soit pris en compte -- en gros
reprendre le processus de login depuis le départ

Pour émuler ceci :
$ bash --login
$ echo $PATH

Simon

--

Simon Vallet
http://www.castalie.org/pubkey.txt
Due to massive spam, the address shown in the From: header
only accepts mail from Debian hosts. If you wish to mail me
privately, just use the 'user' local part.
Avatar
Laurent CARON
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 root


--
Pensez à lire la FAQ de la liste avant de poser une question :
http://wiki.debian.net/?DebianFrench

Pensez à rajouter le mot ``spam'' dans vos champs "From" et "Reply-To:"

To UNSUBSCRIBE, email to
with a subject of "unsubscribe". Trouble? Contact
Avatar
benoit soete
Simon Vallet a écrit :

Bonjour,

On Sat, 11 Mar 2006 13:53:44 +0100
benoit soete 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









non non c'est parce que j'avais rédigé autrement au départ...

j'espère que ta parenthèse fermante ne fait pas partie du profile...



puis /etc/profile
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/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games:/usr/local/bin/firefox"
fi

rien à faire j'ai toujours le même $PATH :





les deux sont censés fonctionner, mais il faut que tu démarre une
nouvelle session pour que le profile soit pris en compte -- en gros
reprendre le processus de login depuis le départ





Je n'ai pas précisé mais bien évidemment j'ai redémarré ma session, j'ai
déjà fait çà auparavant, là c'est une etch toute neuve...

Pour émuler ceci :
$ bash --login
$ echo $PATH

Simon





merci


--
Pensez à lire la FAQ de la liste avant de poser une question :
http://wiki.debian.net/?DebianFrench

Pensez à rajouter le mot ``spam'' dans vos champs "From" et "Reply-To:"

To UNSUBSCRIBE, email to
with a subject of "unsubscribe". Trouble? Contact
Avatar
benoit soete
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





ne fonctionne que si tu es root



tu as mal lu, il y a deux paths de définis dans ce fichier, et il n'y en
a qu'un défini pour root, excuse moi d'avoir tout mis...

if [ "`id -u`" -eq 0 ]; then
PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/bin/X11"
## *çà c'est pour root, oui, mais si tu lis jusqu'au bout :*
else
PATH="/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games:/usr/local/bin/firefox"

fi

## le fichier /etc/profile comme le ~/.bash_profile ne sont apparemment
pas pris en compte à l'ouverture de session (j'ai même redémarré
complètement depuis)

merci quand même


--
Pensez à lire la FAQ de la liste avant de poser une question :
http://wiki.debian.net/?DebianFrench

Pensez à rajouter le mot ``spam'' dans vos champs "From" et "Reply-To:"

To UNSUBSCRIBE, email to
with a subject of "unsubscribe". Trouble? Contact
Avatar
Jacques L'helgoualc'h
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 un exécutable, pas un répertoire ?

puis /etc/profile
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/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games:/usr/local/bin/firefox"
fi

rien à faire j'ai toujours le même $PATH :

~$ echo $PATH
/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games

Il me semble pourtant que c'est la manière de faire, je viens de relire
le mini path howto...



L'initialisation de bash est passablement compliquée... essaie d'abord
d'ajouter « export PATH » dans ton /etc/profile, s'il ne l'est pas déjà.

Ajoute aussi « { date; echo nom_du_fichier ; env ; } >>/tmp/env_fichier.log »
dans les différents fichiers d'initialisation pour essayer de suivre le jeu de
piste... il y a des différences entre shells de login, interactifs, etc.
--
Jacques L'helgoualc'h


--
Pensez à lire la FAQ de la liste avant de poser une question :
http://wiki.debian.net/?DebianFrench

Pensez à rajouter le mot ``spam'' dans vos champs "From" et "Reply-To:"

To UNSUBSCRIBE, email to
with a subject of "unsubscribe". Trouble? Contact
Avatar
Jérôme LELONG
Bonjour,
En effet par défaut sous etch, le .bash_profile n'est pas lu a u
login. Il suffit alors de créer un fichier ~/.xinitrc contenant pa r
exemple

#!/bin/bash

xrdb -merge ~/.Xdefaults
source .bash_profile
exec /usr/bin/gnome-session

si tu veux une session Gnome par défaut, ensuite sous gdm tu choisi s
session par défaut du système.

J'espère que ça t'aidera.

--

Jérôme =