Comment changer le format de la date dans la barre de menu sans application supplémentaire ?

Je ne sais pas si vous avez réussi à faire fonctionner la méthode ci-dessus, mais elle n'a jamais fonctionné pour moi. Cependant, il semble que j'ai trouvé une méthode qui fonctionne sans recourir à une application tierce. Je m'arrachais les cheveux à ce sujet parce que je voulais avoir un '.' comme séparateur de temps, et même en utilisant la fonction defaults comme suit :

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

Il a réussi à attribuer la valeur, mais chaque fois que j'ai supprimé la barre de menu, il est revenu inexplicablement au format par défaut. Je ne sais pas si cela sera permanent, mais j'ai fait une boucle rapide en bash et après l'avoir exécutée pendant quelques secondes, j'ai tué la barre de menu à partir d'un shell séparé, puis je suis revenu à la boucle et l'ai tuée - voilà !

Donc, en gros, depuis la coquille 1 :

while true;

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

...puis dans une autre coquille :

killall -KILL SystemUIServer

Et puis revenir au premier shell et tuer la boucle. Je n'ai pas encore redémarré, mais pour l'instant le changement est resté. HTH !