Kullandım (Red Hat, Ubuntu, CentOS, diğerleri). Bu dağıtımlar Gnome terminalini kullanır ve genellikle komutların girildiği doğrudan terminal penceresinin üzerinde bulunan bir açılır menü aracılığıyla farklı terminal profilleri oluşturmak için esnek yollar sağlar. Bu profiller, farklı dosyaların yazı tipi ve renk özelliklerinde değişiklik yapılmasını sağlar.
Terminal için bu farklı profiller nerede saklanıyor?
Yanıtlar:
En az iki farklı Gnomesürüm kullanan üç dağıtımdan bahsettiniz . Bunun nedeni geçmenin önemli olduğunu Gnome 2için Gnome 3taşındı GTK 2için GTK 3biraz ve karışık şeyler.
Konusuna ulaşmak için, genellikle, kullanıcı için tüm yapılandırmanız bir $HOMEyerde. Öncelikle içinde bakmak gerekir $HOMEdeneyin kendisi ve .configve .gconfhem de bir yapılandırma dizini düşündürmektedir.
Olduğu söyleniyor ve basit bir google arama ile ben olabilirdi ~/.gconf/apps/gnome-terminal/profilesama milaj değişebilir.
GTKsürümü olsa etkileyecek gtk-2.0ve gtk-3.0dizin yapılandırması. Genelde konuşuyordum, sadece gnome terminali ile değil.
gsettings setyapmak için herhangi bir şekilde otomatik olarak profilleri komut satırından ( ) ayarlayamıyorum ?