Re: Changing default setting of bash's hash table?