March 9, 2021 Capitalizing on the Linux commands history A workflow to improve productivity in the terminal