source: dass-tools/usr/bin/mirror-adapt-repository.sh

#!/bin/bash

set -o errexit -o nounset

DEST="${1:-}"

if ! [ -e "$DEST" ]; then
    echo "FAILED: no directory given."
    exit
fi

# adapt repository sources
for i in `find $DEST -name "*.repo" -a ! -name "vermkv-*.repo"`; do
    basename=`basename $i`
    dirname=`dirname $i`
    sed -i "s|https://|http://|" $i
    echo "creating $dirname/vermkv-$basename"
    sed -r "s|http[s]?://|http://install.vermkv/freigabe/|" $i > $dirname/vermkv-$basename 
done