Saya tahu ada opsi untuk memulai terminal baru dengan judul yang ditentukan, dan itu adalah mungkin untuk mengubah judul dari terminal menggunakan menu: 'Terminal' -> Set Title. Namun, saya ingin mengubahnya untuk terminal saat ini dari baris perintah. Bagaimana saya bisa mengubah judul untuk...
gnome-terminal menggunakan warna-warna cerah untuk font tebal. Apakah mungkin untuk mengkonfigurasinya untuk menggunakan warna yang sama untuk font tebal seperti font normal. Juga, saya perlu warna-warna cerah di tempat lain, jadi mengubah palet warna mungkin tidak akan
Saya dapat menggunakan pintasan keyboard dan memilih teks dengan tombol kiri mouse memungkinkan saya untuk memasukkan pilihan dalam gnome-terminal dengan tombol tengah mouse. Namun, pemilihan mouse dengan tombol kiri tidak menyalinnya ke clipboard dan karenanya tidak tersedia untuk aplikasi...
Masalah ini dimulai ketika saya menggunakan emacs (dengan opsi -nw). Biarkan saya jelaskan dulu. Saya mencoba mendefinisikan hotkey (untuk emacs) sebagai berikut (global-set-key [(control shift up)] 'other-window) tapi itu tidak berhasil (tidak ada kesalahan, tidak berfungsi), juga tidak...
Saya di Ubuntu 10.4. Keyboard standar saya adalah QWERTZ, tetapi saya biasanya menggunakan tata letak Dvorak. Ketika saya mengetik di dalam terminal GNOME, tata letak adalah yang saya atur di preferensi keyboard (misalnya Dvorak). Namun, segera setelah saya menggunakan Ctrl- [key], tombol tersebut...
Jadi saya membaca artikel di usesthis.com dan dia menyatakan "... Saya menggunakan font Terminus karena ini adalah font bitmap yang diterjemahkan dengan cepat dan bersih." Apakah ini benar? Font mana yang menghasilkan tercepat di gnome-terminal? Apakah font bitmap sering lebih cepat? Apakah ini...
Saya tidak dapat menemukan istilah pencarian untuk masalah ini, jadi saya telah memasang tangkapan layar. Setiap menit, bilah status tmux mengeluarkan baris status baru alih-alih memperbarui. Ini sepertinya terjadi terutama pada terminal gnome. Apa yang mungkin menjadi