GNOME terminalinde dolguyu arttırın


41

Gnome terminalindeki dolguyu artırmak istiyorum, çünkü varsayılan dolgusu yok ve gözlerimi incitiyor.

(İçinde olduğu gibi doldurma: Pencere kenarlığı ile metin giriş / çıkışının görüntülendiği yer arasında boşluk istiyorum.)

Örneğin:

=[X][-][ ]=============My Terminal==================
|                                                  |
|  $> echo "Padding occurs on both sides for long  |
|     input"                                       |
|                                                  |
|                                                  |
|                                                  |
====================================================

Yanıtlar:


34

Düzenlendi Jun 02 2018: Ubuntu 18.04 tarihinden itibaren, bunun çalışması için bir tane daha öğe seçicisi eklemeniz gerekir.


Paul çoğunlukla haklıydı. Bu genişletilmiş çözüm , GNOME Terminal 3.6.2 ile birlikte Ubuntu 14.04.1 itibariyle çalışır .

Tüm sürümler için:

  1. Aşağıdaki kodu aşağıdakilere ekleyin ~/.config/gtk-3.0/gtk.css:

    VteTerminal,
    TerminalScreen,
    vte-terminal {
        padding: 10px 10px 10px 10px;
        -VteTerminal-inner-border: 10px 10px 10px 10px;
    }
    

    Düzenleme: Zaten mevcut değilse dosyayı oluşturmanız gerekecektir (teşekkürler jonS90).

  2. Tüm gnome-terminal örneklerini öldür:

    $ killall gnome-terminal
    
  3. GNOME terminalini yeniden başlatın.


2
Belirtilen gtk.css dosyası sistemimde yoktu. Onu yaratmak zorunda kaldım (ve sonra çözüm işe yaradı).
jonS90

Bu, pantheon-terminalinde (temel OS Loki) de mükemmel çalışır.
Vishnu M.

2
Bu sayıların kenarlarla nasıl ilişkili olduğunu hatırlayan TRouBLe'niz varsa, Sol Üst Sağ Sol.
Terry Brown,

1
@TerryBrown TRouBLe güzel bir yoldur. Başka bir analog saatte ilerleyen eller olduğunu düşünüyorum: 12-3-6-9 (Üst, Sağ, Alt, Sol).
WinEunuuchs2Unix

9

Buradaki tüm cevapları Ubuntu 16.10'da gnome-terminal 3.20.2 ile denedim ve çalışmadılar. Güncel lansman ipinde güncel çözümü buldum . Dosyaya ~/.config/gtk-3.0/gtk.css(oluşturmanız gerekebilir) şunu ekleyin:

vte-terminal {
    padding: 10px;
}

Bunun Ubuntu 17.04 için de çalıştığını onaylayabilirim.
Alp Dener

17.10'da çalışıyor.
blockloop

Öyleyse, yalnızca 3 satırınız olacak gtk.css oluştururum? Veya nasıl varsayılan bir tane oluşturabilirim?
Robin Hsu

@RobinHsu dosya varsa, sonuna kadar ekleyin. Olmazsa, oluşturun ve yalnızca bunu ekleyin.
phrz

Bu Ubuntu 18.04 üzerinde çalışmıyor.
Alexandre Verri,


3

Lütfen bu sorunu gözden geçirin - Unity Terminal 16.04

Dilek Listesindeki açıklama, dosyayı değiştirmemiz gereken Ubuntu 16.04 Terminalleri için çok uygun çözümler sunar ~/.config/gtk-3.0/gtk.css:

VteTerminal,
TerminalScreen {
    padding: 10px 10px 10px 10px;
    -VteTerminal-inner-border: 10px 10px 10px 10px;
}

TO

VteTerminal {
    padding: 10px;
}

paddingnormal CSS ile aynı şekilde çalışır padding.


Bu Ubuntu 18.04 üzerinde çalışmıyor.
Alexandre Verri,

2

Eski günlerde X Kaynakları vardı . Ana dizininizde bir .Xdefaultsveya .Xresourcesdosya oluşturmak , grafiksel uygulamalar için her türlü ayarı değiştirebilirsiniz.

Kutumda sistem çapında varsayılanlar bulunur /etc/X11/Xresourcesve /etc/X11/app-defaultsgnome-terminalinin bunlardan herhangi birine önem verip vermediğini bilmiyorum.

Düzenleme : Ayrıca, bu "tema departmanı" gibi görünüyor, bu yüzden tema dosyalarını düzenlemek veya özel bir .gtkrcdosya ile gnome-terminalini başlatmak hile yapabilir,

$ GTK2_RC_FILES=~/custom-gtkrc gnome-terminal

terminalde, ya da yukarıdaki gnome-terminal.destktop’u düzenleme

Exec=env GTK2_RC_FILES=/home/you/custom-gtkrc gnome-terminal

işe yarayabilirdi.


2

Bazı terminallerle yapabilirsiniz, örneğin eski xterm

xterm -b 10 -title "-b 10" -e nano &
xterm -title "no border spec" -e nano & 

Kılavuzda man xtermyazı tiplerini, ön plan ve arka plan renklerini nasıl ayarlayacağınızı bulabilirsiniz. Belki yapılandırmak için biraz zor, ama çok esnek.


1

Gconf veya dconf editöründe dolgu parametresi bulamadım. Yazılım Merkezi ile "terminal" üzerinde bir araştırma yaptım ve çok sayıda terminal uygulaması buldum. Gnome, farklı terminal uygulamalarını belirlemeyi kolaylaştırmak için kullanılır, ancak işler biraz değişti. /usr/share/applications/gnome-terminal.desktop, yürütülecek terminal uygulamasının belirtildiği yerdir. Bu dosyayı açın ve bulacaksınız:

[New Shortcut Group]
Name=New Terminal
Exec=gnome-terminal
TargetEnvironment=Unity

Exec = gnome-terminal farklı bir terminal uygulaması seçmek için değiştirilebilir. Mime türleri naultilus tarafından düzenlenebilir olarak tanınmadığından, bu dosyayı düzenlemek biraz daha karmaşıktır. Düzenlemeyi komut satırından aşağıdaki gibi başlatmanız gerekir:

sudo gedit /usr/share/applications/gnome-terminal.desktop

Bu değişiklik yapıldığında terminal uygulaması öncekiyle aynı şekilde başlatılabilir, ancak alternatif terminal uygulamanız çalışacaktır.


1

Alternatif olarak, temanın (metacity 2) left_widthparametresini 15veya 20pikselleri değiştirdiğiniz geçici çözümü kullandım .

Bu, pencere kenarlığını sol tarafta kalınlaştırır ve etkin sol kenar boşluğunu pencerenin içinde hareket ettirir. Bu benim için sorun değil, pencere kenarlığı rengi ve terminalin arka planı rengi yakın.

Bunu iyice araştırdım ve bunu yapmanın tek yolu xtermyukarıda belirtildiği gibi terminale geçmek . Bununla birlikte, xterm'in yapılandırılması bir acıdır ve .Xresourcesconfig dosyası aracılığıyla yapılması gerekir , xterm içeren bir menü yoktur.

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.