bashrc: historico opcional