cockpit-project/cockpit — pull request #1462 by stefwalter (2014-11-10 15:12:05+00:00)
Title: server: Terminal is a basic server feature and not aliased

The terminal is a basic server feature and not aliased. It was a
nice proof of concept for an alias, but now lets get it right.