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)
--
G. Stewart -- [EMAIL PROTECTED] -- [EMAIL PROTECTED]
Registered Linux user #284683 (Slackware 9.0)
---------------------------------------------------------------
Duct tape is like the Force. It has a light side and
a dark side, and it holds the universe together.
-- Carl Zwanzig
Linux-Azur : http://www.linux-azur.org
Désinscriptions: http://www.linux-azur.org/liste.php3
**** Pas de message au format HTML, SVP ****
