เพิ่มช่องว่างภายในขั้วคำพังเพย


41

ฉันต้องการเพิ่มช่องว่างภายในช่องเสียบ gnome เพราะค่าเริ่มต้นไม่มีช่องว่างภายในและทำให้ฉันเจ็บ

(Padding เช่นเดียวกับใน: ฉันต้องการช่องว่างระหว่างเส้นขอบหน้าต่างและที่ข้อความเข้า / ออกจะปรากฏขึ้น)

ตัวอย่างเช่น:

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

คำตอบ:


34

แก้ไข มิ.ย. 02 2018:ตั้งแต่ Ubuntu 18.04 คุณต้องเพิ่มตัวเลือกองค์ประกอบอีกหนึ่งตัวเพื่อให้ทำงานได้


พอลถูกต้องส่วนใหญ่ การแก้ปัญหานี้ขยายการทำงานเป็นของUbuntu 14.04.1กับGNOME เทอร์มิ 3.6.2

สำหรับทุกรุ่น:

  1. เพิ่มรหัสต่อไปนี้เพื่อ~/.config/gtk-3.0/gtk.css:

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

    แก้ไข:คุณจะต้องสร้างไฟล์หากยังไม่มีอยู่ (ขอบคุณ jonS90)

  2. ฆ่าอินสแตนซ์ทั้งหมดของ gnome-terminal:

    $ killall gnome-terminal
    
  3. รีสตาร์ท gnome-terminal


2
ไฟล์ gtk.css ที่ระบุไม่มีอยู่ในระบบของฉัน ฉันต้องสร้างมันขึ้นมา (จากนั้นวิธีแก้ปัญหาก็ใช้ได้)
jonS90

มันทำงานได้อย่างสมบูรณ์แบบในเทอร์มินัลแพนธีออน (ระบบปฏิบัติการพื้นฐาน Loki) เช่นกัน
พระนารายณ์ม.

2
หากคุณมี TRouBLe ให้จดจำว่าตัวเลขเหล่านั้นเกี่ยวข้องกับขอบอย่างไรมันคือมุมบนขวาล่างซ้าย
เทอร์รี่บราวน์

1
@TerryBrown TRouBLe เป็นวิธีที่ดี อีกอย่างคือมือที่กำลังคืบหน้าบนนาฬิกาอะนาล็อก: 12-3-6-9 (บน, ขวา, ล่าง, ซ้าย)
WinEunuuchs2Unix

9

ฉันพยายามตอบทั้งหมดที่นี่ใน Ubuntu 16.10 ด้วย gnome-terminal 3.20.2 และพวกเขาไม่ทำงาน ฉันพบวิธีแก้ไขล่าสุดในเธรดทัชแพดนี้ ในไฟล์~/.config/gtk-3.0/gtk.css(ซึ่งคุณอาจต้องสร้าง) เพิ่มสิ่งนี้:

vte-terminal {
    padding: 10px;
}

ฉันสามารถยืนยันได้ว่านี่ยังใช้ได้กับ Ubuntu 17.04
Alp Dener

ทำงานใน 17.10
blockloop

ดังนั้นฉันจะสร้าง gtk.css ให้มีเพียง 3 บรรทัดของคุณหรือไม่ หรือฉันจะสร้างค่าเริ่มต้นได้อย่างไร
Robin Hsu

@RobinHsu ถ้ามีไฟล์อยู่ให้เพิ่มนี่เข้าไปท้าย หากไม่มีให้สร้างและเพิ่มเท่านั้น
phrz

สิ่งนี้ไม่ทำงานบน Ubuntu 18.04
Alexandre Verri

4

หากต้องการย้ายเอาต์พุตเทอร์มินัลออกจากขอบหน้าต่างให้สร้างสไตล์ชีท ~ / .config / gtk-3.0 / gtk.css ด้วยการตั้งค่าต่อไปนี้:

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

https://bbs.archlinux.org/viewtopic.php?id=163964


3

โปรดอ่านปัญหานี้ - Unity Terminal 16.04

ความคิดเห็นเกี่ยวกับ Wishlist อธิบายเป็นโซลูชั่นที่เหมาะสมมากสำหรับ Ubuntu 16.04 Terminals ซึ่งเราจำเป็นต้องเปลี่ยนไฟล์~/.config/gtk-3.0/gtk.css:

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

TO

VteTerminal {
    padding: 10px;
}

paddingทำงานเหมือนกับ paddingCSS


สิ่งนี้ไม่ทำงานบน Ubuntu 18.04
Alexandre Verri

2

ย้อนกลับไปในวันเก่าที่มีการใช้เป็นX ทรัพยากร การสร้าง.Xdefaultsหรือ.Xresourcesไฟล์ในโฮมไดเร็กตอรี่ของคุณคุณสามารถเปลี่ยนการตั้งค่าทุกประเภทสำหรับแอพพลิเคชั่นแบบกราฟิก.

ระบบค่าเริ่มต้นกว้างบนกล่องของเราจะพบใน/etc/X11/Xresourcesและ/etc/X11/app-defaultsแต่ผมไม่ทราบว่าถ้าใส่ใจ gnome-ขั้วใด ๆ ของผู้

แก้ไข : เช่นนี้ดูเหมือนว่า "แผนกธีม" ดังนั้นการแก้ไขไฟล์ธีมหรือเริ่ม gnome-terminal ด้วย.gtkrcไฟล์ที่กำหนดเองสามารถทำเคล็ดลับได้เช่น

$ GTK2_RC_FILES=~/custom-gtkrc gnome-terminal

ในเทอร์มินัลหรือแก้ไข gnome-terminal.destktop ด้านบนเพื่อให้ดูเหมือน

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

สามารถทำงานได้


2

คุณสามารถทำได้ด้วยเทอร์มินัลเช่น xterm เก่า

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

ในคู่มือ man xtermคุณจะพบวิธีการตั้งค่าแบบอักษรพื้นหน้าและสีพื้นหลัง อาจจะยุ่งยากเล็กน้อยในการกำหนดค่า แต่มีความยืดหยุ่นสูง


1

ฉันไม่พบพารามิเตอร์การเติมเต็มในโปรแกรมแก้ไข gconf หรือ dconf ฉันค้นหา "เทอร์มินัล" กับ Software Center และพบแอปพลิเคชั่นเทอร์มินัลจำนวนมาก Gnome ใช้เพื่อระบุแอปพลิเคชั่นเทอร์มินัลต่าง ๆ ได้ง่าย แต่สิ่งต่าง ๆ เปลี่ยนไปเล็กน้อย /usr/share/applications/gnome-terminal.desktop เป็นที่ที่ระบุแอปพลิเคชันเทอร์มินัลที่จะดำเนินการ เปิดไฟล์นั้นแล้วคุณจะพบ:

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

สามารถเปลี่ยน Exec = gnome-terminal เพื่อเลือกแอปพลิเคชั่นเทอร์มินัลอื่น การแก้ไขไฟล์นี้เกี่ยวข้องเพียงเล็กน้อยเนื่องจากประเภท mime ของไฟล์นั้นไม่ได้รับการยอมรับจาก naultilus ว่าสามารถแก้ไขได้ คุณจะต้องเริ่มการแก้ไขจากบรรทัดคำสั่งดังนี้:

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

เมื่อทำการเปลี่ยนแปลงแล้วแอปพลิเคชั่นเครื่องเทอร์มินัลนั้นสามารถเริ่มต้นได้เหมือนเดิม แต่โปรแกรมเทอร์มินัลทางเลือกของคุณจะถูกเรียกใช้


1

อีกวิธีหนึ่งคือฉันใช้วิธีแก้ปัญหาที่คุณเปลี่ยนleft_widthพารามิเตอร์(metacity 2) ของชุดรูปแบบเป็น15หรือ20พิกเซล

สิ่งนี้ทำให้เส้นขอบหน้าต่างหนาขึ้นทางด้านซ้ายและเลื่อนระยะขอบด้านซ้ายอย่างมีประสิทธิภาพภายในหน้าต่าง มันใช้งานได้ดีสำหรับฉันเนื่องจากสีขอบหน้าต่างและสีพื้นหลังสำหรับเทอร์มินัลนั้นใกล้

ฉันค้นคว้าอย่างละเอียดและวิธีเดียวที่จะทำได้คือเปลี่ยนไปใช้xtermเทอร์มินัลตามที่กล่าวไว้ข้างต้น อย่างไรก็ตามการกำหนดค่า xterm เป็นความเจ็บปวดและต้องทำผ่าน.Xresourcesไฟล์ปรับแต่งไม่มีเมนูที่มี xterm

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.