all tags

articles tagged #command history

2023-06-08 terminal history
close tools panel
toggle tools panel