Pin Grav version, install plugins as part of remote-install

scripts/server-install.sh

@@ -3,13 +3,15 @@ set -e
 
 : "${WEBROOT:?WEBROOT is not set}"
 : "${REPO:?REPO is not set}"
+: "${GRAV_VERSION:?GRAV_VERSION is not set}"
+: "${PLUGINS:?PLUGINS is not set}"
 : "${GITEA_HOST:?GITEA_HOST is not set}"
 : "${GITEA_USER:?GITEA_USER is not set}"
 : "${GITEA_TOKEN:?GITEA_TOKEN is not set}"
 
-echo "==> Downloading Grav"
+echo "==> Downloading Grav $GRAV_VERSION"
 cd "$WEBROOT"
-wget -q https://getgrav.org/download/core/grav-admin/latest -O grav-admin.zip
+wget -q "https://getgrav.org/download/core/grav-admin/$GRAV_VERSION" -O grav-admin.zip
 unzip -q grav-admin.zip
 mv grav-admin/* grav-admin/.htaccess .
 rm -rf grav-admin grav-admin.zip
@@ -21,6 +23,9 @@ rm -rf user
 git clone "$REPO" user
 rm ~/.netrc
 
+echo "==> Installing plugins"
+php bin/gpm install $PLUGINS -y
+
 echo "==> Setting permissions"
 find "$WEBROOT" -type f -exec chmod 664 {} \;
 find "$WEBROOT" -type d -exec chmod 775 {} \;