Pertanyaan yang diberi tag gnome-terminal

24
Simpan scrollback terminal saat ini ke file?

Saya telah mencari jawaban untuk ini dan tidak menemukan apa pun yang membuat saya berpikir itu tidak mungkin tetapi ... Apakah mungkin untuk menyimpan buffer scrollback Terminal Gnome saat ini ke file? Saya tahu bahwa saya dapat melakukan sesuatu seperti command > output.txtmengalihkan semua...

24
Bagaimana cara menyalin dan menempelkan file?

Saya ingin menyalin dan menempelkan file. Nama file tersebut adalah mkoctfile.m. Path file ini adalah: /usr/share/octave/3.2.4/m/miscellaneous/mkoctfile.m Saya ingin menempelkannya ke jalur berikut /usr/bin/mkoctfile-3.2.4 Saya telah membuat direktori dengan menggunakan perintah berikut: sudo...

24
Tab Terminal Gnome jelek dan kebesaran

Baik terminal gnome dan terminator (yang saya gunakan di laptop saya hari ini) dapat dikustomisasi agar terlihat sangat cantik. Dengan menggunakan layar penuh dan menjaga desktop tetap berantakan seminimal mungkin untuk mendapatkan area berukuran baik untuk bekerja, bahkan pada EeePC kecil...

22
Bagaimana cara mengubah spasi baris di Terminal?

Apakah mungkin untuk mengubah spasi di Terminal, atau ada beberapa aplikasi lain yang memungkinkannya? Saya pindah dari Mac, dan aplikasi terminalnya memiliki fitur ini yang memungkinkan spasi baris diubah tanpa tergantung pada ukuran font. Misalnya, inilah Monaco pada Mac di 17pt, tanpa...

21
Gnome-Terminal melaporkan $ TERM menjadi `xterm`

Pada instalasi Ubuntu 12.10 yang bersih, terminal gnome default melaporkan $ TERM menjadi xterm di mana ia seharusnya benar-benar melaporkan xterm-256color. Apa cara terbaik untuk mengubah ini? Saya menghindari meletakkan ini di .bashrc saya karena itu hanya meminta