On Tue, Jul 20, 2010 at 1:00 PM, solsTiCe d'Hiver <solstice.dhiver at gmail.com> wrote: > ooops > in fact, it works if I run it from a command line in a terminal. > > but not from gnome menu. > > It is not a bug. Your .bashrc or .zshrc files are sourced only in terminal.