#!/bin/bash
SCRIPTPATH=$(dirname "$0")
$SCRIPTPATH/inferno/inferno.py "$@"