How to change shell history properties (in Terminal)
asked 2019-04-04 00:35:53 +0200
Maybe just another 'minor-bug-you-have-to-live-with' for now, but maybe there's something I'm missing ... You know how if you click up arrow in terminal it auto fills the last command you entered, and respective previous ones, the more you tap it? I've noticed (and much appreciated) that that history remains even after closing the app or even rebooting. But, not all the time... Sometimes, it's like the space for historical items runs out or something, and, even though there have been several other commands entered after the first one that gets auto-filled, still, I can't get it to show anything more recent. Any ideas?
Small note: bash saves history only when exiting (
exitor Ctrl+D). It won't save if it is forcefully terminated.So if you reboot your phone while bash is still running, that last part won't get written into the history.
DrYak ( 2019-04-04 13:38:56 +0200 )editanother thing I wondered about... I tried exiting and closing different ways to test, but hadn't discovered anything conclusive yet. I don't recall using exit command very often, so I wonder if using reboot from the reboot menu does that automatically, since my history is usually saved, (I've just experienced the above issue a couple of times).
Levone1 ( 2019-04-04 15:58:41 +0200 )edit