Basic linux terminal tips and tricks : learn to work quickly on the command line (2020)