CREACION DE 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 haga se guardará en la configuración del perfil usado actualmente.

A. 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.

1. Seleccione Editar ▸ Preferencias ▸ Perfiles.

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

A. Seleccionar un perfil

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

en Terminal ▸ Cambiar perfil.

A. Crear un perfil nuevo

- Cualquier cambio que se haga en un perfil nuevo se guardará automáticamente. Para crear un
perfil nuevo:
-
1. Seleccione Archivo ▸ Perfil nuevo.
2. Introduzca un nombre para el nuevo perfil en Nombre del perfil.
3. Seleccione la tipografía, la forma del cursor y el tamaño de la ventana en la
pestaña General.
4. Establezca el comportamiento que prefiera para el comando salir. También puede
establecer una shell personalizada en la pestaña Comando.
5. Establezca sistema preferidos en la pestaña Colores.
6. Establezca sus preferencias de desplazamiento en la pestaña Desplazamiento.

A. Crear un perfil nuevo basándose en uno existente

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

1. 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.
2. Configure las preferencias del perfil que quiera. Estas preferencias se guardarán
automáticamente. Si no actualiza el Nombre del perfil en la pestaña General, el perfil
nuevo no sobrescribirá el perfil en el que se basa.
Alternativamente, puede crear primero una copia del perfil existente y luego editar
el perfil:
1. Seleccione Editar ▸ Preferencias ▸ Perfiles.
2. Seleccione el perfil que quiere.
3. Pulse Clonar.
4. 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 sobrescribirá 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.

A. 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 cambiar los perfiles existentes. Para editar un perfil, seleccione Editar ▸ Preferencias del
perfil.
1. Seleccione la tipografía las formas del cursor y el tamaño de la Terminal.
2. 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.
3. Para cambiar los colores del texto y el fondo de la Terminal, consulte los esquemas de
color de la Terminal.
4. 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.

A. Renombrar un perfil existente

- Puede renombrar los perfiles existentes, incluyendo el predeterminado:

1. Seleccione Editar ▸ Preferencias ▸ Perfiles.
2. Seleccione el perfil que quiere renombrar.
3. Pulse Editar. Esto abrirá el diálogo de preferencias del perfil para el perfil seleccionado.
4. Escriba el nombre del perfil en la caja de texto para el Nombre del perfil.
5. Pulse Cerrar para volver.

A. Eliminar un perfil

- Para eliminar un perfil:

1. Seleccione Editar ▸ Preferencias ▸ Perfiles.
2. Seleccione el perfil que quiere eliminar.
3. Pulse Eliminar.