[contributions:michaelcole] /modules/quickstart quickstart-4-ides.sh