#!/bin/bash

CONFIG=$1
if [ ! -f $CONFIG ]; then
    SAMPLE_CONFIG=${CONFIG/.json/.sample.json}
    echo "Error: config file \"$CONFIG\" not found. You have two options:"
    echo "- cp $SAMPLE_CONFIG $CONFIG # don't forget to edit!"
    echo "- request the file from developers"
    exit 1
fi
