Saya telah menggunakan (Red Hat, Ubuntu, CentOS, lainnya). Distribusi ini menggunakan terminal Gnome, dan menyediakan cara yang fleksibel untuk mengatur profil terminal yang berbeda melalui menu drop down yang terletak di jendela terminal, tepat di atas tempat perintah, biasanya, dimasukkan. Profil ini memungkinkan untuk membuat perubahan pada properti font dan warna file yang berbeda dll.
Di mana profil berbeda untuk terminal disimpan?
Di Ubuntu 16.04 saya,
Nah, Anda baru saja mengutip tiga distribusi yang menggunakan setidaknya dua Gnomeversi berbeda . Hal ini penting karena pindah dari Gnome 2ke Gnome 3yang pindah dari GTK 2ke GTK 3dan hal-hal campuran sedikit a.
Untuk sampai ke topiknya, umumnya, semua konfigurasi Anda untuk pengguna Anda ada di $HOMEsuatu tempat. Pertama, Anda perlu melihat $HOMEsendiri dan kemudian mencoba .configdan .gconfkarena keduanya menyarankan direktori konfigurasi.
Yang sedang berkata dan dengan pencarian google sederhana saya menemukan bahwa itu mungkin ada ~/.gconf/apps/gnome-terminal/profilestetapi milage Anda dapat bervariasi.
GTKversi akan mempengaruhigtk-2.0dangtk-3.0konfigurasi direktori. Saya berbicara secara umum dan bukan hanya terminal gnome.