GNU/Linux >> Belajar Linux >  >> Linux

Ubah tema terminal Gnome secara terprogram

Ini tidak melakukan apa yang Anda minta, tetapi mungkin melakukan apa yang Anda inginkan.

Anda dapat memodifikasi .bashrc Anda (atau file shell init yang setara) untuk menyetel prompt Anda berdasarkan apakah Anda menggunakan ssh atau tidak.

yaitu meletakkan sesuatu seperti:

if [ -n $SSH_TTY ]; then
     export PS1=`echo -en '\033[42m\w\$ '`;
fi;

di akhir .bashrc Anda file di mesin jarak jauh. \033[42m adalah ANSI Escape Code yang mengubah warna latar belakang menjadi hijau.

Dengan cara ini, warna latar belakang terminal Anda akan menjadi hijau (atau magenta, atau cyan, atau apa pun) hanya saat Anda masuk ke mesin jarak jauh.


Anda mungkin ingin memeriksa opsi ke gnome-terminal:

gnome-terminal --help

memberi

 --window-with-profile=PROFILENAME

Bungkus ini dalam skrip shell:

#!/bin/bash
gnome-terminal --window-with-profile=PROFILENAME

lalu lakukan

ssh-term

Jika Anda ingin mengubah lebih banyak, lihat istilah dan istilah lainnya. Lihat juga Devilspie yang dapat melakukan perubahan yang lebih dinamis berdasarkan hal-hal seperti judul jendela (menghapus dekorasi jendela dan sebagainya).

http://burtonini.com/blog/computers/devilspie


Linux
  1. Ubah Tema Ubuntu 21.10 Impish Indri - Panduan langkah demi langkah?

  2. Lulus F10 Ke Aplikasi Di terminal Gnome?

  3. Linux – Terminal Gnome Gagal Memulai?

  1. Terminal Autocomplete:Siklus Melalui Saran?

  2. Benang Pengedit Gambar yang Mudah Digunakan?

  3. Ubah Warna Latar Belakang Terminal Gnome Saat Terbang?

  1. Bagaimana cara mengubah tema GTK, Ikon, atau GNOME Shell di GNOME

  2. Ubah Ukuran Font Terminal dengan C++

  3. Simpan beberapa tata letak terminal gnome?