Comment puis-je changer la configuration des stations d'accueil lorsqu'un écran externe est connecté ?

DockSpaces est agréable et pratique, mais il est ennuyeux qu'il ne soit pas scriptable. J'ai donc écrit deux petits scripts shell scripts, l'un pour passer à mon Dock de bureau et l'autre pour passer à mon Dock mobile.

Le script de bureau est déclenché à l'arrivée dans mon contexte Home en Plan de contrôle et le script mobile est déclenché lorsqu'on s'en éloigne.
Le contexte du bureau est défini en fonction de la présence de mes écrans externes :

Voici comment fonctionnent les scripts :

Je sauvegarde une copie des deux Docks dans mon dossier Documents (la configuration du Dock est stockée dans le dossier ~/Library/Preferences/com.apple.dock.plist ).

Lorsque je passe de l'un à l'autre, je remplace le fichier approprié dans mon dossier Documents par le fichier actuel dans mes Préférences afin que les modifications que j'ai apportées au Dock soient sauvegardées. Ensuite, je copie le Dock alternatif de mon dossier Documents vers mon dossier Préférences. Enfin, je redémarre le processus du dock pour que les modifications soient prises en compte.

Les scripts :

Vers le bureau :

#!/bin/bash

cp ~/Library/Preferences/com.apple.dock.plist ~/Documents/Docks/mobile.plist
cp ~/Documents/Docks/desktop.plist ~/Library/Preferences/com.apple.dock.plist
killall Dock

Vers le mobile :

#!/bin/bash

cp ~/Library/Preferences/com.apple.dock.plist ~/Documents/Docks/desktop.plist
cp ~/Documents/Docks/mobile.plist ~/Library/Preferences/com.apple.dock.plist
killall Dock