options regarding history and terminal size
bash settings