Así que tengo muchos perfiles en mi terminal de preferencia, como se muestra a continuación
Me gustaría ser capaz de cambiar la fuente de todos estos perfiles diferentes a la vez
3024 Día, 3024 Noche, AdventureTime...
Ahora tengo que hacer el cambio de uno por uno, ¿cómo puedo cambiar la fuente de una vez por todas?
Por favor, hágamelo saber si no es lo suficientemente clara de lo que estoy tratando de hacer. Gracias de antemano!
Muy fácil con un código AppleScript (aquí un ejemplo donde todos los perfiles están establecidos en Menlo Regular 18 pt, tenga en cuenta que "Menlo Regular" se llama "Menlo-Regular" en font name ):
tell application "Terminal"
set ProfilesNames to name of every settings set
repeat with ProfileName in ProfilesNames
set font name of settings set ProfileName to "Menlo-Regular"
set font size of settings set ProfileName to 18
end repeat
end tell
Creo que esto va a funcionar, pero usted puede ser que necesite para probarlo. Yo diría que usted necesita para sentirse cómodo con el Terminal, pero dada la pregunta, voy a saltar sobre él.
Terminal de configuración se almacenan en una lista de propiedades de archivo en ~/Library/Preferences/com.apple.Terminal.plist en un formato binario.
Cada perfil se almacena en un diccionario, y tiene una Fuente clave dentro de ella. Desea extraer la Fuente clave de un buen perfil, y copiar/pegar en todos los demás. O bien, buscar/reemplazar, si usted está usando un editor con una expresión regular reemplazar. Por ejemplo, para la Básica perfil, tengo:
<dict>
<key>Basic</key>
<dict>
<key>Font</key>
<data>
YnBsaXN0MDDUAQIDBAUGGBlYJHZlcnNpb25YJG9iamVjdHNZJGFy
Y2hpdmVyVCR0b3ASAAGGoKQHCBESVSRudWxs1AkKCwwNDg8QVk5T
U2l6ZVhOU2ZGbGFnc1ZOU05hbWVWJGNsYXNzI0AmAAAAAAAAEBCA
AoADXlNGTW9uby1SZWd1bGFy0hMUFRZaJGNsYXNzbmFtZVgkY2xh
c3Nlc1ZOU0ZvbnSiFRdYTlNPYmplY3RfEA9OU0tleWVkQXJjaGl2
ZXLRGhtUcm9vdIABCBEaIy0yNzxCS1JbYmlydHZ4h4yXoKeqs8XI
zQAAAAAAAAEBAAAAAAAAABwAAAAAAAAAAAAAAAAAAADP
</data>
<key>FontAntialias</key>
<true/>
<key>FontWidthSpacing</key>
<real>1.004032258064516</real>
<key>ProfileCurrentVersion</key>
<real>2.0600000000000001</real>
<key>name</key>
<string>Basic</string>
<key>type</key>
<string>Window Settings</string>
</dict>
Desea copiar toda la Fuente clave y bloques de datos entre cada uno de sus perfiles.
Pasos:
Cerca De La Terminal.
Copia de seguridad de su original pref.:
cp ~/Library/Preferences/com.apple.Terminal.plist ~/Desktop/com.apple.Terminal.plist.bak
Convertir su copia de trabajo a XML:
cd ~/Library/Preferences
plutil -convert xml1 com.apple.Terminal.plist
Editar el archivo y copiar/pegar los datos de la fuente de los bloques en todos los perfiles. He utilizado TextMate, pero cualquier edición de texto que va a trabajar.
Guardarlo y volver a convertir binario:
plutil -convert binary1 com.apple.Terminal.plist
Terminal De Prueba.
La Fuente de bloquear los controles de la elección de la fuente y el tamaño. Si usted también desea replicar los colores y las opciones de texto (antialias, etc), entonces usted necesitará copiar/pegar los bloques a través de demasiado.
AppleAyuda es una comunidad de usuarios de los productos de Apple en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
