#!/bin/bash path=$(echo $1 | sed -e 's|/$||') instances=$(cat /etc/mediawiki/instances) extensiondir="$path/extensions/" if [[ "$path" != "" ]]; then if [[ "$(cat /etc/mediawiki/instances | grep ^$path$)" != "" ]]; then instances=$(cat /etc/mediawiki/instances | grep ^$path$) else echo "Given path is not an existing mediawiki instance" exit 1 fi fi for anInstance in $instances; do ln -s @extensiondir@ $anInstance/extensions/ echo "Extension added to instance "$anInstance done