We can use alt + [0..9] to switch terminal quickly.