Als «gnome-terminal» getaggte Fragen

24
Desktop-Verknüpfung für Terminalbefehl

Ich habe mich gefragt, wie ich mit dem Befehl eine anklickbare Terminalverknüpfung für meinen Desktop erstellen kann easytether connect. Ich möchte nicht jedes Mal das Terminal öffnen / schließen müssen, wenn ich über mein Telefon eine Verbindung zum Internet herstellen möchte. Ich habe versucht,...

24
Aktuelles Terminal-Scrollback in Datei speichern?

Ich habe nach einer Antwort darauf gesucht und nichts gefunden, was mich glauben lässt, dass es nicht möglich ist, aber ... Ist es möglich, den aktuellen Gnome Terminal-Scrollback-Puffer in einer Datei zu speichern? Ich weiß, dass ich etwas tun kann command > output.txt, um die gesamte Ausgabe...

22
Wie ändere ich den Zeilenabstand im Terminal?

Ist es möglich, den Zeilenabstand in Terminal zu ändern, oder gibt es eine andere App, die dies zulässt? Ich wechsle vom Mac, und seine Terminal-App verfügt über diese Funktion, mit der der Zeilenabstand unabhängig von der Schriftgröße geändert werden kann. ZB hier ist Monaco auf dem Mac um 17 Uhr,...

21
Gnome-Terminal meldet, dass $ TERM "xterm" ist

Bei einer Neuinstallation von Ubuntu 12.10 meldet das Standard-Gnome-Terminal $ TERM als xterm, wo es eigentlich xterm-256color melden sollte. Was ist der beste Weg, dies zu ändern? Ich vermeide es, dies in mein .bashrc zu schreiben, da es nur um Ärger