Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013
Michael Hill
mdhillca@gmail.com 2013
Crear, editar y eliminar perfiles.
Daniel Mustieles
daniel.mustieles@gmail.com 2012, 2013
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.

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

# Establecer un perfil predeterminado

El perfil predeterminado es una colección de configuraciones del perfil aplicada cada vez que se abre una pestaña o una ventana de la Terminal.

Seleccione Editar Preferencias Perfiles.

Seleccione el perfil que establecer como predeterminado en la lista desplegable Perfil utilizado al lanzar una terminal nueva.

# Seleccionar un perfil

Puede cambiar en la pestaña o la ventana actual de la Terminal seleccionando un perfil en Terminal Cambiar perfil.

# Crear un perfil nuevo

Cualquier cambio que se haga en un perfil nuevo se guardará automáticamente. Para crear un perfil nuevo:

Seleccione Archivo Perfil nuevo.

Introduzca un nombre para el nuevo perfil en Nombre del perfil.

Seleccione la tipografía, la forma del cursor y el tamaño de la ventana en la pestaña General.

Establezca el comportamiento que prefiera para el comando salir. También puede establecer una shell personalizada en la pestaña Título y comando.

Establezca sutema y colores preferidos en la pestaña Colores.

Establezca sus preferencias de desplazamiento en la pestaña Desplazamiento.

# 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 el perfil que quiere editar en Terminal Cambiar perfil Nombre del perfil donde Nombre del perfil es el nombre del perfil que quiere editar. Alternativamente, puede seleccionar Archivo Perfil nuevo para clonar el perfil que está usando actualmente.

Configure las preferencias del perfil que quiera. Estas preferencias se guardarán automáticamente. Si no actualiza el nombre del perfil, el perfil nuevo no sobreescribirá el perfil en el que se basa.

Alternativamente, puede crear primero una copia del perfil existente y luego editar el perfil:

Seleccione Editar Preferencias Perfiles.

Seleccione el perfil que quiere.

Pulse Clonar.

Configure las preferencias del perfil que quiera. Estas preferencias se guardarán automáticamente. Si no actualiza el nombre del perfil, el perfil nuevo no sobreescribirá el perfil en el que se basa.

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

Puede cambiar los perfiles existentes. Para editar un perfil, seleccione Editar Preferencias del perfil.

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

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.

Asegúrese de que está editando el perfil que quiere, seleccione el perfil en Terminal Cambiar perfil.

# Renombrar un perfil existente

Puede renombrar los perfiles existentes, incluyendo el predeterminado:

Seleccione Editar Preferencias Perfiles.

Seleccione el perfil que quiere renombrar.

Pulse Editar. Esto abrirá el diálogo de preferencias del perfil para el perfil seleccionado.

Escriba el nombre del perfil en la caja de texto para el Nombre del perfil.

Pulse Cerrar para volver.

# Eliminar un perfil

Para eliminar un perfil:

Seleccione Editar Preferencias Perfiles.

Seleccione el perfil que quiere eliminar.

Pulse Eliminar.