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 - 2017
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

If you have two or more profiles defined, you can change the profile in your current Terminal tab or window by selecting a profile from Terminal Change Profile.

# Crear un perfil nuevo

To create a new profile with the default settings of Terminal:

Select Edit Preferences.

In the sidebar, click on the + button next to the Profiles label.

Enter a name for the new profile. You can change this name later.

Click Create to create the new profile.

Set your desired profile preferences. These will be saved automatically.

# Crear un perfil nuevo basándose en uno existente

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

Select Edit Preferences.

In the sidebar select the profile on which your new profile should be based.

Click on the arrow next to the profile name.

Seleccione Clonar….

Enter a name for the new profile. You can change this name later.

Click Clone to create the new profile.

Set your desired profile preferences. These will be saved automatically.

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.

You can make changes to existing profiles. To edit a profile:

Select Edit Preferences.

Your current profile is selected in the sidebar. If you wish to edit a different profile, click on its name.

Once the desired profile is selected, you can:

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:

Select Edit Preferences.

Seleccione el perfil que quiere renombrar.

Click on the arrow next to the profile name.

Seleccione Renombrar….

Enter the new profile name.

Pulse Renombrar para renombrar.

# Eliminar un perfil

Para eliminar un perfil:

Select Edit Preferences.

Seleccione el perfil que quiere eliminar.

Click on the arrow next to the profile name.

Seleccione Eliminar….

Pulse Eliminar para confirmar.

The default profile cannot be deleted. If you wish to delete that profile, first set another profile as default.

The default profile is loaded when a new terminal is opened unless you have selected another profile. Any changes that you make to the settings will be stored in the currently selected profile.

# Establecer un perfil predeterminado

The default profile is used when Terminal could not otherwise decide which profile to use. For example, Terminal is started up freshly and opens its first terminal window. In contrast, when you use a menu entry or keyboard shortcut of Terminal to open a new terminal, the profile of the existing terminal is used.

Select Edit Preferences.

Select the profile you wish to set as the default.

Click on the arrow next to the profile name.

Select Set as default.

The default profile is marked with a check mark symbol.