Kabuk / terminal öykünücünüzün komut satırından hangi yazı tipini kullandığını kontrol etmenin bir yolu var mı?

11

Doğrudan bir komut hazır değilse, bir yapılandırma dosyasının okuma kısmını yerleşmeye hazırım.

command-line fonts

— Akiva
kaynak

cat ~/.gconf/apps/gnome-terminal/profiles/Default/%gconf.xmlYardım içeriği olabilir mi?

— Pandya

7

Sistem sabit genişlikli yazı tipini kullan seçeneği genellikle eşittir ve ile ayarlanır org.gnome.desktop.interface.

screen0

Geçerli yazı tipi ayarını almak için aşağıdaki komutu çalıştırın:
```
gsettings get org.gnome.desktop.interface monospace-font-name
```
Ayarı ayarlamak / değiştirmek için aşağıdaki komutu çalıştırın (burada büyütme boyutu örneği):
```
gsettings set org.gnome.desktop.interface monospace-font-name 'Ubuntu Mono 14'
```

Komutun üstünde koştuğumda, terminalinizin yazı tipinin değiştiğini (artan boyut) buldum! Yani, gnome-terminalbu yazı tipi ayarını kullanarak.

— Pandya
kaynak

Teşekkürler! Umutsuzca Ubuntu urxvt kullanmak için kullandığı "sistem sabit genişlikli yazı tipi" bulmaya çalışıyordu.

— balu

2

Terminal yazı tipini kontrol edin:

grep -i "fontface" / etc / default / console-setup

— Andy
kaynak

2

Konsol emülatörlerinde zaten birçok cevap var, bu yüzden sadece tty sanal konsola odaklanacağım. Kedi yapabilir /etc/default/console-setupve FONTFACE diyerek çizgiyi bulabilirsiniz. Alternatif olarakgrep -n FONTFACE /etc/default/console-setup

Örneğin, işte benim konsol kurulum dosyam

resim açıklamasını buraya girin

Değiştirmek için sudo dpkg-reconfigure console-setuptty ile yürütebilirsiniz . Bu, çekirdek ayarlarını bu arada güncelleyecektir.

— Sergiy Kolodyazhnyy
kaynak

Metodunu denedim ve bahsetti fontface="fixed", @ Pandya'nın cevabı bana verdi 'Ubuntu Mono 13'.. Acaba neden bir fark var?

— alpha_989

1

@ alpha_989 Çünkü Pandya'nın yanıtı GUI terminal emülatörleriyle, benimki ise TTY sanal konsollarıyla ilgilidir. Her ikisi de kendi amaçları için geçerlidir.

— Sergiy Kolodyazhnyy

1

GNOME terminal yazı tipinizi aşağıdaki komutu kullanarak kontrol edebilirsiniz.

gconftool-2 --get /apps/gnome-terminal/profiles/Default/font

Örneğin, gnome terminali için bu komutu kullanıyor

 [guru@guru-pc:~]$gconftool-2 --get /apps/gnome-terminal/profiles/Default/font
  Monospace 12

Yazı tipini komut satırını kullanarak değiştirmek isterseniz, aşağıdaki komutu kullanabilirsiniz

  gconftool-2 --set /apps/gnome-terminal/profiles/Default/font --type string "courier new 12"

Burada 12 yazı tipi boyutudur.

— g_p
kaynak

Benim env (16.04.3, plazma, KDE) ile bu öneri hataları ile No value set for '/apps/gnome-terminal/profiles/Default/font'. Bununla birlikte, Pandya'nın cevabını takip etmek ( gsettingsbunun yerine komutu kullanarak ) aslında çalışır ve Gnome terminal yazı tipini döndürür.

— arielf

Burada aynı .. ubuntu 16.04Gnome kullanarak .. neden bu işe yaramadı emin değilim .. ama Pandya'acevap çalıştı ..

— alpha_989