Haga que los perfiles de terminal de gnome trabajen para usted

El terminal gnome es uno de los mejores terminales disponibles para el sistema operativo Linux. Es confiable, hace su trabajo y tiene muchas características que quizás no encuentres en otros emuladores de terminales. Una de esas características es el perfil. Un perfil es una forma de tener varias configuraciones de terminal a la vez. Puede crear tantos como desee y cambiar sobre la marcha. Pero, ¿por qué esta función? ¿Es realmente necesario? Puedo mostrarle algunas razones por las que un perfil de gnome-terminal le ofrece múltiples perfiles.

En este artículo, le explicaré cómo crear nuevos perfiles y le mostraré por qué puede necesitarlos.

suposiciones

En primer lugar, este artículo asume que usted realmente usa el terminal y lo usa con frecuencia. Es posible que un usuario de una terminal para peatones no vea la necesidad de múltiples perfiles para una ventana de terminal. Pero si usa el terminal con frecuencia y por diferentes motivos, puede ver cómo pueden importar varios perfiles.

Creando nuevos perfiles

Figura 1

Veamos primero cómo se crean los perfiles. Para crear (o editar) un perfil, haga clic en Editar > Perfiles. Esto abrirá una nueva ventana (ver Figura 1) donde puede agregar, editar o eliminar perfiles según lo desee.

Como puede ver, en la Figura 1 tengo dos perfiles actuales: predeterminado y "sin trance". Mi perfil predeterminado coincide con mi esquema de escritorio actual (RGBA, con gran transparencia). Hay momentos en los que necesito evaluar el texto con más cuidado (por ejemplo, al ver desde arriba o peinando el archivo de configuración. En esos días me cambio al perfil “no trance”, que es el perfil opaco que creé.

Para crear un nuevo perfil, haga clic en el botón Nuevo. Al hacer esto, se abrirá una pequeña ventana en la que le darás un nombre al nuevo perfil. y elige en cuál de tus perfiles actuales basar el nuevo perfil. Digamos, por ejemplo, que quiero crear un perfil en cualquier momento cuando uso la terminal como usuario root. Esto puede ser muy útil (y evitar que hagas lo que no quieres hacer). Para ello llamaré al perfil “Root” y lo basaré en “no trans”. Una vez que haga esto, aparecerá la ventana principal del editor de perfiles (vea la Figura 2).

En esta nueva ventana puedes cambiar bastante tu perfil. Para que el perfil funcione como administrador, puede hacer algo como crear un fondo blanco con texto rojo o un fondo rojo con texto negro. En ese caso me gustaría cambiar el nombre y el comando para que no haya errores, yo uso el usuario administrador. Para hacer esto, haga clic en la pestaña "Nombre y comando" y luego cambie el nombre original a algo como Usuario RAÍZ: ATENCIÓN. Luego puede optar por agregar este encabezado cuando el comando del terminal envía su propio encabezado (que suele ser el caso).

figura 3

El nuevo perfil "raíz" se parecerá a la Figura 3.

Cambiar perfiles

Es simple y se puede hacer sobre la marcha. Todo lo que tienes que hacer es tocar Terminal > Cambiar perfil y seleccione el perfil deseado.

Observaciones finales

Usa los perfiles de terminal de gnome y tu vida será mucho más fácil. Hay muchas razones por las que desea utilizarlos y muchas modificaciones que puede hacerles.

Artículos de interés

Deja una respuesta

Tu dirección de correo electrónico no será publicada.

Subir

Si continuas utilizando este sitio aceptas el uso de cookies. Más información