From bb43ed81447ac46c2e1dda88723ab2c493acd170 Mon Sep 17 00:00:00 2001 From: Oliver Davies Date: Tue, 9 Apr 2019 20:10:29 +0100 Subject: [PATCH] Remove scripts --- scripts/build.sh | 5 ----- scripts/common.sh | 10 ---------- scripts/watch.sh | 5 ----- 3 files changed, 20 deletions(-) delete mode 100755 scripts/build.sh delete mode 100644 scripts/common.sh delete mode 100755 scripts/watch.sh diff --git a/scripts/build.sh b/scripts/build.sh deleted file mode 100755 index b1b7f310..00000000 --- a/scripts/build.sh +++ /dev/null @@ -1,5 +0,0 @@ -#!/usr/bin/env bash - -. scripts/common.sh - -$SCULPIN generate --clean --no-interaction $@ diff --git a/scripts/common.sh b/scripts/common.sh deleted file mode 100644 index 5f2051d3..00000000 --- a/scripts/common.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/usr/bin/env bash - -realpath() { - [[ $1 = /* ]] && echo "$1" || echo "$PWD/${1#./}" -} - -SCRIPTPATH=$(realpath "$0") -SCRIPTDIR=$(dirname $SCRIPTPATH) - -SCULPIN="$SCRIPTDIR/../vendor/bin/sculpin" diff --git a/scripts/watch.sh b/scripts/watch.sh deleted file mode 100755 index 40e37590..00000000 --- a/scripts/watch.sh +++ /dev/null @@ -1,5 +0,0 @@ -#!/usr/bin/env bash - -. scripts/common.sh - -$SCULPIN generate --server --watch --clean --no-interaction $@