On 10/3/18 4:45 PM, Jeffrey Walton wrote:
> Hi Everyone,
>
> I noticed a fair number of new Linux users have trouble with stale
> program caches. Users install a package from a package manager or
> sources and then are confused when the new package is not used. They
> do not realize they need to
On Wed, Oct 3, 2018 at 11:20 PM Jeffrey Walton wrote:
(...)
> How Bash achieves it is an implementation detail left to the experts.
> I made a few suggestions that don't seem to fit well. That's OK
> because Bash internals is not my area of expertise.
I think it's important to always consider
On Wed, Oct 3, 2018 at 9:33 PM Eduardo A. Bustamante López
wrote:
>
> On Wed, Oct 03, 2018 at 04:45:44PM -0400, Jeffrey Walton wrote:
> > Hi Everyone,
> >
> > I noticed a fair number of new Linux users have trouble with stale
> > program caches. Users install a package from a package manager or
>