#!/bin/bash

set -xe

echo "Preprocessors"

if [ ! -z $https_proxy ]; then
    sed -i "s@%%EXTRA_URL%%@ --proxy=$https_proxy@g" http/ks-34.cfg
else
    sed -i "s@%%EXTRA_URL%%@@g" http/ks-34.cfg
fi

exit 0