JBQ
> --
> You received this message because you are subscribed to the "Android Building" mailing list.
> To post to this group, send email to android-...@googlegroups.com
> To unsubscribe from this group, send email to
> android-buildi...@googlegroups.com
> For more options, visit this group at
> http://groups.google.com/group/android-building?hl=en
>
--
Jean-Baptiste M. "JBQ" Queru
Software Engineer, Android Open-Source Project, Google.
Questions sent directly to me that have no reason for being private
will likely get ignored or forwarded to a public forum with no further
warning.
Al.
--
You received this message because you are subscribed to the "Android Building" mailing list.
To post to this group, send email to android-...@googlegroups.com
To unsubscribe from this group, send email to
android-buildi...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/android-building?hl=en

JBQ
> --
> You received this message because you are subscribed to the "Android Building" mailing list.
> To post to this group, send email to android-...@googlegroups.com
> To unsubscribe from this group, send email to
> android-buildi...@googlegroups.com
> For more options, visit this group at
> http://groups.google.com/group/android-building?hl=en
>
--
> Some shells (including old versions of bash) don't immediately react
> to changes in the PATH. They may have a command to re-parse it, though
> (I think it was "rehash" in bash).
In bash and other Bourne-derivatives it's "hash -r" that flushes the
command cache, but csh and derivatives (plus zsh) have "rehash" instead.
But I always thought negative hits weren't cached, so executables added
to directories in $PATH would get picked up right away.
> You might also find that opening a fresh terminal "works" by making
> the new shell initialize itself from scratch.
I believe Ubuntu's default bashrc adds ~/bin to the path iff it exists,
so users creating that directory and downloading Repo into it will have
to start a new shell or modify $PATH by hand. I suppose
exec bash
would be the easiest way out.
--
Magnus B�ck Opinions are my own and do not necessarily
SW Configuration Manager represent the ones of my employer, etc.
Sony Ericsson
On Tuesday, January 18, 2011 at 23:23 CET,
Jean-Baptiste Queru <j...@android.com> wrote: > Some shells (including old versions of bash) don't immediately react > to changes in the PATH. They may have a command to re-parse it, though > (I think it was "rehash" in bash). In bash and other Bourne-derivatives it's "hash -r" that flushes the command cache, but csh and derivatives (plus zsh) have "rehash" instead. But I always thought negative hits weren't cached, so executables added to directories in $PATH would get picked up right away. > You might also find that opening a fresh terminal "works" by making > the new shell initialize itself from scratch. I believe Ubuntu's default bashrc adds ~/bin to the path iff it exists, so users creating that directory and downloading Repo into it will have to start a new shell or modify $PATH by hand. I suppose exec bash would be the easiest way out. -- Magnus Bäck Opinions are my own and do not necessarily SW Configuration Manager represent the ones of my employer, etc. Sony Ericsson