Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013-2014
Michael Hill
mdhillca@gmail.com 2013

This work is licensed under a Creative Commons Attribution-Share Alike 3.0 Unported License and a GNU General Public License version 3. It may be redistributed and/or modified under either license.

Contenido de la GPL 3:

Esta obra es software libre; puede redistribuirla y/o modificarla bajo los términos de la Licencia Pública General de GNU tal como la publica la Free Software Foundation.

Este programa se distribuye con la esperanza de que le sea útil, pero SIN NINGUNA GARANTÍA; sin incluso la garantía implícita de MERCANTILIDAD o IDONEIDAD PARA UN PROPÓSITO PARTICULAR. Vea la Licencia Pública General de GNU para más detalles.

Debería haber recibido una copia de la Licencia Pública General GNU junto con este programa. De lo contrario, visite http://www.gnu.org/licenses/.

Crear, renombrar y eliminar perfiles.
Daniel Mustieles
daniel.mustieles@gmail.com 2012 - 2020
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.