Membuat dan mengelola profil Terminal
Profil adalah koleksi pengaturan gaya dan perilaku untuk jendela Terminal. Pengaturan yang dapat Anda simpan di profil termasuk warna latar belakang, font, gaya kursor, dan lainnya.
Terminal dilengkapi dengan profil yang telah ditetapkan sebelumnya yang disebut profil default, dan Anda juga dapat membuat profil khusus Anda sendiri.
Membuat profil baru
Pilih Terminal > Preferensi, lalu klik Profil.
Klik tombol Tambah di bawah daftar profil.
Masukkan nama untuk profil baru.
Pilih pengaturan untuk profil baru.
Memodifikasi profil
Pilih Terminal > Preferensi, lalu klik Profil.
Pilih profil yang ingin Anda modifikasi.
Lakukan perubahan pada pengaturan profil.
Mengubah nama profil
Pilih Terminal > Preferensi, lalu klik Profil.
Klik dua kali nama profil yang ingin Anda ubah.
Masukkan nama baru, lalu tekan Return.
Menyalin profil
Pilih Terminal > Preferensi, lalu klik Profil.
Pilih profil yang ingin Anda salin.
Klik menu pop-up Tindakan , lalu pilih Duplikatkan Profil.
Masukkan nama untuk profil yang disalin, kemudian tekan Return.
Menghapus profil
Pilih Terminal > Preferensi, lalu klik Profil.
Pilih profil yang ingin Anda hapus.
Klik tombol Hapus di bawah daftar profil.
Memulihkan profil default
Jika Anda menghapus atau mengubah profil default Terminal apa pun, Anda dapat menambahkannya kembali ke daftar profil dengan pengaturan awal. Anda hanya dapat memulihkan keseluruhan kumpulan profil default (artinya, Anda tidak dapat memulihkan profil default satu per satu).
Jika Anda menyesuaikan salah satu profil default dan ingin menyimpan penyesuaian, Anda harus mengubah namanya sebelum memulihkan profil default. Operasi pemulihan menimpa pengaturan untuk masing-masing profil default.
Pilih Terminal > Preferensi, lalu klik Profil.
Klik menu pop-up Tindakan , lalu pilih Pulihkan Profil Default.