mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-09-23 10:22:05 +00:00
71c7e02858
* Port Flow Makefile to Echo * Move resources to Resources.php Change-Id: I75e96cc1e51a7768600ffc083550fc94ea9d1e6c
16 lines
554 B
Bash
Executable file
16 lines
554 B
Bash
Executable file
#!/usr/bin/env bash
|
|
if [ ! -e "scripts/remotes/gerrit.py" ]
|
|
then
|
|
mkdir -p scripts/remotes
|
|
echo 'Installing GerritCommandLine tool'
|
|
curl -o scripts/remotes/gerrit.py https://raw.githubusercontent.com/jdlrobson/GerritCommandLine/master/gerrit.py
|
|
chmod +x scripts/remotes/gerrit.py
|
|
fi
|
|
if [ ! -e "scripts/remotes/message.py" ]
|
|
then
|
|
mkdir -p scripts/remotes
|
|
echo 'Installing Message tool'
|
|
curl -o scripts/remotes/message.py https://raw.githubusercontent.com/jdlrobson/WikimediaMessageDevScript/master/message.py
|
|
chmod +x scripts/remotes/message.py
|
|
fi
|