#!/bin/bash

script=$(basename $0)

DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
$DIR/run-in-docker "$script" ${@} <&0