113 reputation
14
bio website
location
age
visits member for 2 years, 4 months
seen Oct 25 at 22:41

Mar
14
awarded  Notable Question
Apr
19
awarded  Popular Question
Sep
24
awarded  Scholar
Sep
24
awarded  Student
Aug
18
awarded  Supporter
Apr
1
accepted HISTSIZE not being set in bash
Mar
30
comment HISTSIZE not being set in bash
@Dunnie Yeah, you were right. One of those files sources something that changes HISTSIZE. I have changed the order of the sourcing of files and now it works. Thanks for your help.
Mar
30
comment HISTSIZE not being set in bash
@Dunnie Good question. ~$ echo $HISTSIZE 50 ~$ export HISTSIZE=100 ~$ echo $HISTSIZE 100 ~$ So I can set the HISTSIZE on the command line, but not in my .bash_profile.
Mar
30
comment HISTSIZE not being set in bash
I have checked .bashrc and (on this system) .bashrc.local; both are called after .bash_profile, neither contain anything about HISTSIZE.
Mar
30
asked HISTSIZE not being set in bash