+pushd "$WEB_ROOT"
+
+# Update the install_profile if it's already there
+if grep -q "^\\\$settings\['install_profile'\] =" sites/default/settings.php;
+then
+ chmod 755 sites/default
+ chmod 644 sites/default/settings.php
+ sed -i -e "s/^\(\$settings\['install_profile'\]\) = '[^']*';/\1 = '$INSTALLATION_PROFILE';/g" sites/default/settings.php
+ chmod 444 sites/default/settings.php
+ chmod 555 sites/default
+fi