Zuvor habe ich meinen Gnome-Terminal-Titel geändert, um anzuzeigen, auf welchem Server ich angemeldet war. Ich erinnere mich nicht, wie ich das gemacht habe und ich kann es jetzt nicht ändern. Ich lief durch meine .bashrc und fand nichts, was es einstellen würde, und loggte mich als su ein. Als...