#typed history #input log #timestamped commands #command record #historical log #session history