Modificare l'applicazione terminal per Docker Quickstart Terminal

Ho appena installato Docker Toolbox su OSX e la prima volta che ho lanciato Docker Quickstart Terminal mi ha chiesto di scegliere il terminal da aprire. Ho scelto stupidamente iTerm. Ora, dopo aver realizzato il mio terminal abituale in questi giorni è Terminal, voglio cambiare quella impostazione. Ma niente che faccio sembra ripristinarlo.

Ho provato ad eseguire nuovamente il programma di installazione per Docker Toolbox. Ho anche provato a eseguire lo script di disinstallazione da https://github.com/docker/toolbox/blob/master/osx/uninstall.sh e quindi reinstallarlo. Ma each volta che faccio clic su Docker Quickstart Terminal si inizia in iTerm.

Qualcuno può dirmi come posso cambiare questa preferenza?

Dopo qualche scavo, sembra che si trova l'impostazione predefinita del terminal

~/Library/Application Support/DockerToolbox/default_terminal 

… e può essere impostato su iTerm o Terminal .

Il modo più semplice per impostarlo è quello di rimuovere il file e avviare il terminal quickstart Docker, che permetterà di richiedere nuovamente il default.