temas ponerle letras directorios colores color cambiar archivos ubuntu

ubuntu - letras - ponerle color a la terminal



Cambiar el color de fondo en el terminal Gnome a través de un comando? (9)

Solía ​​hacer esto con argumentos de línea de comandos para xterm. Configuré mi .olvwm (me estoy fechando) para ejecutar 4 xterms con diferentes colores de fondo.

Estoy usando el terminal Gnome y quiero cambiar el color de fondo o el perfil a través de un comando para poder agrupar algunos comandos en un alias para diferenciar visualmente mis ventanas cuando ejecuto ciertos procesos. Estoy ejecutando Ubuntu, y bash es mi caparazón. ¿Hay comandos para hacer esto?


Desea usar gconftool.

Gnome mantiene su configuración en una jerarquía similar al Registro de Windows. Una vez que sepa la ruta al artículo que desea cambiar, puede establecer el valor de ese elemento con gconftool desde la línea de comando.

Use gconf-editor para navegar a través de la configuración de Gnome.
Use gconftool para establecer el valor de un elemento en su secuencia de comandos.

En tu caso, quieres hacer lo siguiente:

gconftool --type string --set /desktop/gnome/background/primary_color "#dadab0b08282"

Obviamente, querrá reemplazar ese valor de color con el color que desee.


Suponiendo que sabe qué perfil quiere antes de abrir su terminal:

Haga clic derecho en su Panel y "Agregar al Panel" y agregue un iniciador de aplicaciones personalizado

Puede definir posición, tamaño y perfil (que cuida colores, fuentes, etc.)

gnome-terminal --hide-menubar --geometry 115x40+0+0 gnome-terminal --window-with-profile=logs --hide-menubar --geometry=144x15+0-55

"man gnome-terminal" tiene mucha información útil


Lo investigué y resulta que esto no es posible. Archivé el error: http://bugzilla.gnome.org/show_bug.cgi?id=569869

gconftool-2 puede obtener / establecer propiedades de perfil, pero no hay forma de crear una secuencia de comandos gnome-terminal existente.


puedes usar setterm como este

setterm -term linux -back blue -fore white -clear


1) Cree un perfil de terminal con el color y la configuración que desee, y llámelo "myGterm"
2) Edite su archivo .bashrc .
3) Agregue la siguiente línea:

alias Gterm=''gnome-terminal --window-with-profile=myGterm''

4) Guarde y cierre .bashrc
5) Abra una terminal y escriba:

$ Gterm

6) ¡Voila!


Para crear 4 terminales con diferentes fondos y títulos, debe agregar las siguientes líneas al archivo .bashrc_profile

$.bash_profile

agregue las siguientes líneas al archivo

alias term1=''gnome-terminal –window-with-profile=term1'' alias term2=''gnome-terminal –window-with-profile=term2'' alias term3=''gnome-terminal –window-with-profile=term3'' alias term4=''gnome-terminal –window-with-profile=term4''

  1. Ahora edita / crea tus 4 perfiles de terminal
  2. abrir> terminal> editar> perfiles> nuevo> nombre del perfil = term1
  3. pestaña de colores> elija su fuente y colores de fondo
  4. Pestaña Título y comando> título inicial = término1
  5. repita los comandos anteriores para 3 terminales restantes.

cierre todos los terminales abiertos que pueda tener, luego vuelva a abrir un nuevo terminal y escriba ''term1''; pulse enter y repeat para los 4; ahora tiene 4 terminales únicos abiertos.


pruebe el siguiente comando desde un iniciador de escritorio:

gnome-terminal --window-with-profile=site2 -x ssh site2

El uso de -x ssh significa que la terminal solo estará activa en el sitio remoto, por lo que se elimina por completo la posibilidad de escribir un comando en la máquina incorrecta porque se ha salido de una línea de comando de terminal ssh.


He creado algunas funciones, basadas en el código github de otros hilos. Lo siento, no recuerdo.

Puedes poner estas funciones en tu archivo ~ / .bashrc

Como puede ver, si llama a "create_random_profile",

Primero, verificará y delimitará cualquier perfil aleatorio previo que haya creado.

En segundo lugar, creará un perfil de nombre aleatorio en los terminales gnome.

En tercer lugar, establecerá ese nombre en una variable de entorno que puede usar para cambiar su color en funciones predefinidas. Ver la función de la última función setcolord ().

Esto debería ser útil, tener muchos terminales con diferentes colores. Además, con funciones predefinidas puedes cambiar estos colores sobre la marcha. ¡Disfrútala!

function create_random_profile() { #delete previous profiles in case there were something #delete_one_random_profile prof="`mktemp -u HACK_PROFILE_XXXXXXXXXX`" gconftool-2 --type list --list-type string --set $prof_list "`gconftool-2 --get $prof_list | sed "s/]/,$prof]/"`" file="`mktemp`" gconftool-2 --dump "/apps/gnome-terminal/profiles/Default" | sed "s,profiles/$2,profiles/$prof,g" > "$file" gconftool-2 --load "$file" gconftool-2 --type string --set "/apps/gnome-terminal/profiles/$prof/visible_name" "$prof" gconftool-2 --set "/apps/gnome-terminal/profiles/$prof/use_theme_colors" --type bool false rm -f -- "$file" export __TERM_PROF=$prof } function delete_one_random_profile() { regular="HACK_PROFILE_" prof=$(gconftool-2 --get /apps/gnome-terminal/global/profile_list | sed -n "s/.*/(HACK_PROFILE_........../).*//1/p") if [ ! -z "$prof"]; then echo "size ${#prof}" echo "size of regular ${#regular}" echo "DO DELETE of $prof" #if not empty gconftool-2 --type list --list-type string --set $prof_list "`gconftool-2 --get $prof_list | sed "s/$prof//;s//[,/[/;s/,,/,/;s/,]/]/"`" gconftool-2 --unset "/apps/gnome-terminal/profiles/$prof" else echo "NOTHING TO DELETE" fi } function setcolord() { echo "Dont forget to change to Profile0 in the menu of your terminal->Change Profile->Profile_0" gconftool-2 --set "/apps/gnome-terminal/profiles/$__TERM_PROF/background_color" --type string white gconftool-2 --set "/apps/gnome-terminal/profiles/$__TERM_PROF/foreground_color" --type string black } function setcolor_cyan() { echo "Dont forget to change to $__TERM_PROF in the menu of your terminal->Change Profile->Profile_0" gconftool-2 --set "/apps/gnome-terminal/profiles/$__TERM_PROF/background_color" --type string "#8DCBCC" gconftool-2 --set "/apps/gnome-terminal/profiles/$__TERM_PROF/foreground_color" --type string black }

Por cierto, puede ahorrar tiempo si crea el terminal utilizando ya el azar. Puedes hacer esa llamada:

gnome-terminal --working-directory=$HOME --window-with-profile="$prof"