GNOME » GNOME 52 »

Preferensi terminal

Preferensi Umum

Aksesibilitas papan tik — Bernavigasi diseluruh menu Terminal menggunakan tombol papan tik.
Pintasan papan tik — Lihat dan sunting pintasan papan tik.
Visibilitas bilah menu — Menampilkan dan menyembunyikan bilah menu.

Mengelola Profil

Kelola profil — Buat, sunting, dan hapus profil.

Preferensi Profil

Ganti kursor — Pilih gaya kursor yang berbeda.
Karakter terlihat terlalu terbatas — Tampilkan karakter ambigu-lebar selebar-lebarnya alih-alih sempit.
Mengatur bel yang terdengar — Aktifkan notifikasi terdengar di Terminal.
Mengatur perilaku pada perintah keluar — Mengatur perilaku Terminal ketika perintah kustom atau keluar shell bawaan.
Perintah dan shell kustom — Atur Terminal untuk menjalankan perintah atau shell yang berbeda pada startup.
Preferensi bilah gulir — Ubah keluaran gulir dan perilaku bilah gulir.
Shell login — Mulai shell login di Terminal.
Skema Warna — Ubah warna dan latar belakang.
Ubah fonta dan gaya — Gunakan fonta sistem atau memilih fonta kustom untuk terminal Anda.
Ubah profil enkoding karakter — Atur enkoding yang berbeda untuk setiap profil yang disimpan.