Para sustituir el tema predeterminado por uno oscuro llamado “dark”, agrego la siguiente línea en el archivo de configuración, como se puede ver en la captura de pantalla abajo.
“theme”: “dark”,
Cierra el archivo de texto y guarda los cambios.
Se pueden hacer varios cambios en la configuración de la Terminal, usando diferentes valores en las propiedades necesarias.
Todas las disponibles se pueden consultar en la página de ayuda:
Además de la configuración global de la Terminal, se puede establecer la configuración de un perfil específico, modificando varias propiedades, como el estilo de las pestañas, titulo, texto, color, cursor, etc.
