Le Vendredi 31 Octobre 2003 11:58, Godwin Stewart a écrit :
> Fri, 31 Oct 2003 11:43:39 +0100 scripsit [EMAIL PROTECTED]:
> > Or théoriquement, on devrait pouvoir le faire avec la commande
> > "xrdb". Mais quand je lance par exemple:
> > $ xrdb ~/.bash_profile
>
> xrdb n'a rien à voir avec ça.
>
> Voir `man xrdb`.
>
> Par contre, on peut faire ceci :
>
> $ source ~/.bash_profile
>
> Ou alors :
>
> $ . ~/.bash_profile
>
> (on tape 'point' 'espace' ~/.bash_profile)
Merci pour l'explication.
Georges
--
--------------------------------------------
Georges Louge - Juan-les-Pins (France)
Linux user n° 176581 (RedHat 4.1)
--------------------------------------------
Linux-Azur : http://www.linux-azur.org
Désinscriptions: http://www.linux-azur.org/liste.php3
**** Pas de message au format HTML, SVP ****
