Non so se hai mai utilizzato il metodo sopra descritto, ma non è mai stato il trucco per me. Tuttavia, mi sembra di aver trovato un modo che funziona senza ricorrere a un'app di terze parti. Mi stavo strappando i capelli perché volevo avere un '.' come separatore temporale e anche quando si utilizza il comando defaults
in questo modo:
defaults write com.apple.menuextra.clock "DateFormat" "EEE MMM d H.mm"
Assegnerebbe correttamente il valore, ma ogni volta che uccidevo la barra dei menu, sarebbe inspiegabilmente ripristinato il formato predefinito. Non sono sicuro di quanto sarà permanente, ma ho fatto un ciclo veloce in bash e dopo averlo eseguito per alcuni secondi, ho ucciso la barra dei menu da una shell separata, quindi sono tornato al loop e l'ho ucciso - voilà!
Quindi, sostanzialmente dalla shell 1:
while true;
> do;
> defaults write com.apple.menuextra.clock "DateFormat" "EEE MMM d H.mm";
> done;
... quindi in un'altra shell:
killall -KILL SystemUIServer
E quindi tornare alla prima shell e uccidere il ciclo. Non ho ancora ricominciato, ma finora il cambiamento è rimasto bloccato. HTH!