On 1/30/12 4:14 PM, Linda Walsh wrote:
> It seems there is a a platform dependent bug somewhere:
> 
>> HISTSIZE=$(((3**15))
> echo $HISTSIZE
> 1000000000000000
> --- but you have no history...

It depends on how the platform does integer truncation.  Bash uses intmax_t
for its numbers internally; the readline and history libraries use ints.
On a platform where sizeof(intmax_t) == 8 and sizeof(int)==4, you'll get
truncation.  On a RHEL5 box I happen to have handy, that still means you
get a max history size of 14348907 after correcting and performing the
assignment above.

-- 
``The lyf so short, the craft so long to lerne.'' - Chaucer
                 ``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU    c...@case.edu    http://cnswww.cns.cwru.edu/~chet/

Reply via email to