Tobias Brunner c6e1eda6d0 testing: Set terminal title when logging in via SSH
Since we always log in as root use a simpler command prompt. And don't
store duplicate commands in the bash command history.
2013-05-15 10:35:48 +02:00
..
2013-01-17 15:22:10 +01:00
2013-01-17 15:22:10 +01:00
2013-01-17 15:22:10 +01:00
2013-01-17 15:22:10 +01:00
2013-01-17 15:22:10 +01:00
2013-01-17 15:22:10 +01:00
2013-03-05 09:08:25 +01:00