Links for terminal-debian