launcher.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#!/bin/bash

# Script to change current working directory
# and execute the program from there
pushd () {
    command pushd "$@" > /dev/null
}

popd () {
    command popd "$@" > /dev/null
}

pushd /opt/craft/
./craft
popd