Saya perlu pintasan cepat untuk mengubah ukuran font terminal. Saya menggunakan gnome-terminal
.
Saya mencoba dengan Ctrl+ +dan Ctrl+ -tetapi ukurannya tidak berubah.
Apakah ada jalan pintas lain? Bisakah saya menambahkan pintasan seperti ini?
shortcut-keys
fonts
gnome-terminal
shortcuts
Ionică Bizău
sumber
sumber
+
=shift
+=
Jawaban:
Ctrl+ +dan Ctrl+ -bekerja dengan baik untuk saya. Mungkin Anda memiliki pintasan yang berbeda yang dikonfigurasi.
Untuk mengubah pintasan keyboard, buka Edit -> Pintasan Keyboard ... di menu terminal gnome, dan cari Zoom In dan Zoom Out :
sumber
+
ada di=
tombolnya, jadi Anda benar-benar harus menekanshift
dan=
mendapatkan+
. Ini mungkin mengapa Anda harus menggunakanctrl
+shift
++
(atau sebenarnyactrl
+shift
+=
). Jika Anda tidak suka ini, cukup konfigurasikan beberapa pintasan keyboard lain seperti dijelaskan di atas. Misalnya jika Anda mengkonfigurasictrl
+=
untuk memperbesar, Anda dapat menekan tombol yang Anda harapkan di tempat pertama untuk memperbesar (tanpashift
).Cobalah Shift Ctrl +untuk meningkat
dan Ctrl -untuk mengurangi ukuran font.
Catatan: Shiftkunci diperlukan pada beberapa sistem.
sumber
Trik yang berhasil bagi saya adalah menggunakan
Ctrl
+Shift
+=
atauCtrl
+-
tetapi TIDAK pada keyboard angka.sumber
Ingat terminal itu SANGAT harfiah! Terminal + key yang diinginkan terminal Ubuntu ada di baris paling atas dan memerlukan Shift jika tidak maka itu =.
sumber