GNOME »

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.