6 resume

This file was deleted.

6 script

This file was deleted.

This file was deleted.

@@ -1,13 +1,15 @@
#!/usr/bin/env bash
# File for very initial setup of basic MediaWiki code (needed for base development environment)

set -eu

mkdir -p "$INSTALL_DIR"
mkdir -p "$DOCKER_MW_PATH"
[[ ! -d $HOME/.composer ]] && mkdir $HOME/.composer

git clone --depth 1 https://gerrit.wikimedia.org/r/mediawiki/core "$INSTALL_DIR"/mediawiki
git clone --depth 1 https://gerrit.wikimedia.org/r/mediawiki/skins/Vector "$INSTALL_DIR"/mediawiki/skins/Vector
git clone --depth 1 https://gerrit.wikimedia.org/r/mediawiki/core "$DOCKER_MW_PATH"
git clone --depth 1 https://gerrit.wikimedia.org/r/mediawiki/skins/Vector "$DOCKER_MW_PATH"/skins/Vector

cd "$INSTALL_DIR"/mediawiki
cd "$DOCKER_MW_PATH"
docker run -it --rm --user $(id -u):$(id -g) -v $HOME/.composer:/tmp -v $(pwd):/app composer install --ignore-platform-reqs
touch LocalSettings.php
cat > LocalSettings.php <<EOL

This file was deleted.