Understanding Linux Terminal Devices with the tty Command