#!/bin/bash set -e address=$1 username=$2 shift shift curl $address -d "op=set_input&username=user_manager&element_type=V&value=\"$username\"" -s -S >> /dev/null python interface/HUTN/hutn_compiler/linker.py $address $username "$@"
