I tend to use `screen`a lot and never reboot my computers. As my memory becomes flaky, I often need to search in my history and usually don't remember which tab I used for a specific command. I've solved this problem with my bashrc the following way: # don't put duplicate lines or lines starting with space …