server aliases for terminal.