Cómo cambiar el formato de fecha en la barra de menú sin necesidad de aplicaciones adicionales?

No sé si alguna vez tienes el método anterior para el trabajo, pero nunca lo hizo el truco para mí. Sin embargo, me parece que han encontrado una manera de que funcione sin tener que recurrir a una 3 ª parte aplicaciones. Yo estaba tirando de mi pelo acerca de esto porque yo quería tener un '.' como separador de hora, y aun cuando el uso de la defaults comando así:

defaults write com.apple.menuextra.clock "DateFormat" "EEE MMM d  H.mm"

Sería asignar correctamente el valor, pero cada vez que se me muere la barra de menú, sería inexplicable que volver al formato predeterminado. No estoy seguro de cómo permanentes, esto va a ser, pero me hizo una rápida bucle en bash y después de correr durante un par de segundos, me mató el menú de la barra de independiente shell, y luego regresó al bucle y lo mató - voilà!

Así que, básicamente, de shell 1:

while true;

    > do;
    > defaults write com.apple.menuextra.clock "DateFormat" "EEE MMM d  H.mm";
    > done;

...luego en otra shell:

killall -KILL SystemUIServer

Y, a continuación, volver a la primera capa y matar el bucle. No he reiniciado, pero hasta ahora el cambio ha pegado. HTH!