08. Terminal — copy & paste, round-trip time, font and size

This chapter has moved to Use the terminal: copy and paste, the round-trip time, and the font and size.