echo " uri: 'http://localhost/${SITE_BASE_PATH}'" >> drush/drush.yml
fi
-pushd "$WEB_ROOT"
+pushd "$WEB_ROOT" > /dev/null
# Update the install_profile setting if it's already there
if grep -q "^\\\$settings\['install_profile'\] =" sites/default/settings.php;
if [ -d core/.git ];
then
git -C core/ config --local alias.core-diff "diff --src-prefix=a/core/ --dst-prefix=b/core/"
- echo "Added a 'git core-diff' command to the drupal/core repository clone."
- echo "This command helps creating core patches ready for upstream."
+ git -C core/ config --local alias.core-format-patch "format-patch --src-prefix=a/core/ --dst-prefix=b/core/"
+ echo "Added 'git core-diff' and 'git core-format-patch' commands to the drupal/core"
+ echo "repository clone. These commands help creating core patches ready for upstream"
+ echo "in a split-core setup."
fi
-popd
+popd > /dev/null