Do not require `shelf` be installed; clone off GitHub if it's not.
Chris Pressey
3 years ago
| 22 | 22 | return 1 |
| 23 | 23 | } |
| 24 | 24 | |
| 25 | if [ "x$SOURCE" != "x" ]; then | |
| 26 | if shelf_pwd ${SOURCE}; then | |
| 27 | GITDIR=`shelf_pwd ${SOURCE}` | |
| 28 | else | |
| 29 | echo "Please set SHELF_PATH to a directory where the source '${SOURCE}' can be found." | |
| 30 | exit 1 | |
| 31 | fi | |
| 32 | else | |
| 33 | GITDIR="" | |
| 34 | fi | |
| 35 | ||
| 36 | 25 | ORGNAME=catseye |
| 37 | 26 | DOCKERFILE=$CONFIG_DIR/Dockerfile |
| 38 | 27 | if [ "x$IMAGENAME" = "x" ]; then |
| 39 | 28 | IMAGENAME=$EXENAME |
| 29 | fi | |
| 30 | ||
| 31 | if [ "x$SHELF_PATH" != "x" ]; then | |
| 32 | if [ "x$SOURCE" != "x" ]; then | |
| 33 | if shelf_pwd ${SOURCE}; then | |
| 34 | GITDIR=`shelf_pwd ${SOURCE}` | |
| 35 | else | |
| 36 | echo "Please set SHELF_PATH to a directory where the source '${SOURCE}' can be found." | |
| 37 | exit 1 | |
| 38 | fi | |
| 39 | else | |
| 40 | GITDIR="" | |
| 41 | fi | |
| 42 | else | |
| 43 | GITDIR="https://github.com/$ORGNAME/$SOURCE" | |
| 40 | 44 | fi |
| 41 | 45 | |
| 42 | 46 | SRCDIR=/tmp/$IMAGENAME |