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 [email protected] http://cnswww.cns.cwru.edu/~chet/
