Pytania oznaczone «gnome-terminal»

24
Skrót na pulpicie do polecenia terminalu

Zastanawiałem się, jak utworzyć klikalny skrót terminalu na pulpicie za pomocą polecenia easytether connect. Nie chcę otwierać / zamykać terminalu za każdym razem, gdy chcę połączyć się z Internetem przez telefon. Próbowałem zaktualizować panel gnome, ale mogę tylko utworzyć nowy katalog na...

24
Jak skopiować i wkleić plik?

Chcę skopiować i wkleić plik. Nazwa pliku to mkoctfile.m. Ścieżka tego pliku to: /usr/share/octave/3.2.4/m/miscellaneous/mkoctfile.m Chcę wkleić go do następującej ścieżki /usr/bin/mkoctfile-3.2.4 Utworzyłem katalog, używając następujących poleceń: sudo su mkdir -p...

24
Zapisać przewijanie bieżącego terminala do pliku?

Szukałem odpowiedzi na to pytanie i nie znalazłem niczego, co sprawiłoby, że uważam, że to niemożliwe, ale ... Czy można zapisać bieżący bufor przewijania Gnome Terminal do pliku? Wiem, że mogę zrobić coś takiego, command > output.txtaby przekierować wszystkie dane wyjściowe do pliku lub...

22
Jak zmienić odstępy między wierszami w terminalu?

Czy można zmienić odstępy między wierszami w Terminalu, czy też jest na to inna aplikacja? Przenoszę się z komputera Mac, a jego aplikacja terminalowa ma tę funkcję, która pozwala zmieniać odstępy między wierszami niezależnie od rozmiaru czcionki. Np. Oto Monako na Macu w 17pt, bez żadnych korekt....

21
Gnome-Terminal zgłasza $ TERM jako „xterm”

W czystej instalacji Ubuntu 12.10 domyślny terminal gnome zgłasza $ TERM jako xterm, gdzie tak naprawdę powinien zgłaszać xterm-256color. Jak najlepiej to zmienić? Unikam umieszczania tego w moim .bashrc, ponieważ to tylko prosi o