#!/bin/bash

sed -i "s/http:\/\/precice.org/https:\/\/precice.org/g" "$@"