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