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.
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.
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.
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.
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.
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.
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.
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.
¿Quiere hacer un comentario? ¿Ha encontrado un error? ¿Las instrucciones no son claras? Envíe sus comentarios sobre esta página.