Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013-2014
Michael Hill
mdhillca@gmail.com 2013
Crear, renombrar y eliminar perfiles.
Daniel Mustieles
daniel.mustieles@gmail.com 2012 - 2019
Rodrigo Lledó
rodhos92@gmail.com 2018
Jorge González
jorgegonz@svn.gnome.org 2007-2010
Francisco Javier F. Serrador
serrador@gnome.org 2001-2006

# Gestionar perfiles

Un perfil es una colección de parámetros de configuración de la Terminal. La Terminal soporta varios perfiles. Puede configurar los perfiles de la Terminal para que ejecuten un comando o una shell personalizada, configurar un perfil exclusivamente para conectarse a equipos remotos usando SSH o configurar un perfil que ejecute una sesión de GNU Screen.

La configuración disponible de la Terminal incluye:

Nombre de perfil.

Tipografías y colores de fondo

Compatibilidad con las teclas Retroceso y Supr.

Desplazamiento.

# Seleccionar un perfil

Si tiene dos o más perfiles definidos, puede cambiar en la pestaña o la ventana actual de la Terminal seleccionando un perfil en Terminal Cambiar perfil.

# Crear un perfil nuevo

Para crear un perfil nuevo con las configuraciones predeterminadas de la Terminal:

Seleccione Editar Preferencias.

En la barra lateral, pulse en el botón + que está al lado de la etiqueta Perfiles.

Introduzca un nombre para el nuevo perfil. Puede cambiarlo más adelante.

Pulse Crear para crear el perfil nuevo.

Configure las preferencias del perfil que quiera. Estas se guardarán automáticamente.

# Crear un perfil nuevo basándose en uno existente

Puede crear un perfil nuevo basándose en la configuración de un perfil existente:

Seleccione Editar Preferencias.

En la barra lateral seleccione el perfil en el que se basará su perfil nuevo.

Pulse en la flecha que está al lado del nombre de perfil.

Seleccione Clonar….

Introduzca un nombre para el nuevo perfil. Puede cambiarlo más adelante.

Pulse Clonar para crear el perfil nuevo.

Configure las preferencias del perfil que quiera. Estas se guardarán automáticamente.

Crear un perfil nuevo a partir de un perfil existente no afectará a la configuración del perfil existente. Cualquier cambio en la configuración se guardará en el perfil nuevo.

# Editar un perfil

Si se edita el perfil predeterminado, no se puede restaurar a su configuración original. Si todavía no ha creado otros perfiles para la Terminal y ha modifica el perfil predeterminado, la Terminal puede puede quedar inutilizable ya que algunas configuraciones pueden causar problemas. Se recomienda que cree una copia del perfil predeterminado y luego la edite para crear un perfil personalizado.

Puede modificar los perfiles existentes. Para editar un perfil:

Seleccione Editar Preferencias.

Su perfil actual está seleccionado en la barra lateral. Si quiere editar un perfil diferente, pulse en su nombre.

Una vez que haya seleccionado el perfil que quiere, puede:

Seleccione la tipografía las formas del cursor y el tamaño de la Terminal.

También puede cambiar el comportamiento de la Terminal cuando un comando termina, establecer una shell de inicio de sesión personalizada o cambiar las preferencias de la barra de desplazamiento.

Para cambiar los colores del texto y el fondo de la Terminal, consulte los esquemas de color de la Terminal.

Los cambios en el perfil se guardan inmediatamente. Para volver a la Terminal, pulse Cerrar.

# Renombrar un perfil existente

Puede renombrar los perfiles existentes, incluyendo el predeterminado:

Seleccione Editar Preferencias.

Seleccione el perfil que quiere renombrar.

Pulse en la flecha que está al lado del nombre de perfil.

Seleccione Renombrar….

Introduzca el nombre del perfil nuevo.

Pulse Renombrar para renombrar.

# Eliminar un perfil

Para eliminar un perfil:

Seleccione Editar Preferencias.

Seleccione el perfil que quiere eliminar.

Pulse en la flecha que está al lado del nombre de perfil.

Seleccione Eliminar….

Pulse Eliminar para confirmar.

El perfil predeterminado no se puede eliminar. Si quiere eliminar ese perfil, primero establezca otro perfil como predeterminado.

# Establecer un perfil predeterminado

El perfil predeterminado se carga cuando se abre una terminal nueva, a menos que haya seleccionado otro perfil. Cualquier cambio que haga en la configuración se guardará en el perfil que se encuentre seleccionado.

El perfil predeterminado se usa cuando la Terminal no podría decidir qué perfil usar. Por ejemplo, la Terminal se inicia recientemente y abre su primera ventana de terminal. Por el contrario, cuando utiliza una entrada de menú o un atajo de teclado de la Terminal para abrir una nueva terminal, se utiliza el perfil de la terminal existente.

Seleccione Editar Preferencias.

Seleccione el perfil que quiere establecer como predeterminado.

Pulse en la flecha que está al lado del nombre de perfil.

Seleccione Establecer como predeterminado.

El perfil predeterminado se marca con un símbolo de marca de verificación.