El nombre del archivo donde se guarda el historial de comandos.