Ich habe dies sowohl mit Ubuntu 12.04 als auch mit Debian 7 getestet echo $TERM Ich bekomme xterm Aber wenn ich das Dropdown-Menü "Hilfe"> "Über" benutze, heißt es gnome terminal 3.4.1.1. Bedeutet das, dass ich nur ein Gnome-Terminal benutze? Oder nur xterm? Oder ist gnome-terminal eine...