[PLUG] Way to disable command hashing in bash?
linux at shantanukulkarni.org
Sat Apr 10 08:27:16 PDT 2010
* Mayuresh <mayuresh at acm.org> [100410 19:58]:
> Now the "solutions" I know and am not particularly happy with are:
> 1. Use hash -r to remove the cache.
> 2. Open a new session every time you check out, so that you begin with
> empty cache.
> 3. Write a script for check-out operation that will empty the cache.
> Rather, I am looking for a way that will disable caching completely and I
> won't have to remember to do any manual operation if I check out the
I do not have an exact answer, but have thought of aliases.
You may want something on lines of,
This will ensure /dev/cmd is executed always. But do read this before,
Even functions might do. Please see,
I do not have access to bash 4 and so cannot find the exact solution.
Do keep us posted on results.
More information about the plug-mail