Crear y administrar perfiles de Terminal
Un perfil es una colección de configuraciones de estilo y comportamiento para una ventana de Terminal. Las configuraciones que puedes almacenar en un perfil incluyen el color de fondo, el tipo de letra, el estilo del cursor y más.
Terminal viene con un conjunto de perfiles predefinidos llamados perfiles predeterminados, pero también te permite crear tus propios perfiles personalizados.
Crear un perfil nuevo
Selecciona Terminal > Preferencias y haz clic en Perfiles.
Haz clic en el botón Agregar
debajo de la lista de perfiles.Ingresa un nombre para el nuevo perfil.
Elige configuraciones para el nuevo perfil.
Modificar un perfil
Selecciona Terminal > Preferencias y haz clic en Perfiles.
Selecciona el perfil que quieres modificar.
Realiza las modificaciones a las configuraciones del perfil.
Renombrar un perfil
Selecciona Terminal > Preferencias y haz clic en Perfiles.
Haz doble clic en el nombre del perfil que quieres renombrar.
Ingresa un nombre nuevo y presiona la tecla Retorno.
Copiar un perfil
Selecciona Terminal > Preferencias y haz clic en Perfiles.
Selecciona el perfil que quieres copiar.
Haz clic en el menú emergente Acción
y selecciona “Duplicar perfil”.Ingresa un nombre para el perfil copiado y presiona Retorno.
Eliminar un perfil
Selecciona Terminal > Preferencias y haz clic en Perfiles.
Selecciona el perfil que quieres eliminar.
Haz clic en Eliminar
debajo de la lista de perfiles.
Restaurar los perfiles predeterminados
Si eliminaste o modificaste alguno de los perfiles predeterminados de Terminal, puedes volver a agregarlos a la lista de perfiles junto con su configuración original. Sólo puedes restaurar el conjunto completo de perfiles predeterminados (es decir, no puedes restaurar sólo un perfil predeterminado específico).
Si personalizaste un perfil predeterminado y quieres guardar tus cambios, necesitas renombrar el perfil antes de restaurar los perfiles predeterminados. Al restaurar los perfiles se sobrescriben las configuraciones de todos los perfiles predeterminados.
Selecciona Terminal > Preferencias y haz clic en Perfiles.
Haz clic en el menú desplegable Acción
y selecciona “Restaurar perfiles predeterminados”.