nojhan 41bc71d994 bring back hostname display depending on connection type		2012-07-17 09:50:30 +02:00
prompt.bash	bring back hostname display depending on connection type	2012-07-17 09:50:30 +02:00