Skip to content
Permalink
Browse files

Use dirname instead of /..

  • Loading branch information
fthomas committed Mar 24, 2020
1 parent 81dce83 commit 85e9a9522c569659e6f8c0a942393f0d384225fb
Showing with 1 addition and 1 deletion.
  1. +1 −1 scripts/run.sh
@@ -3,7 +3,7 @@
set -ex

SCRIPT=$(readlink -f "$0")
STEWARD_DIR=$(dirname "$SCRIPT")/..
STEWARD_DIR=$(dirname $(dirname "$SCRIPT"))

cd "$STEWARD_DIR"
git pull

0 comments on commit 85e9a95

Please sign in to comment.
You can’t perform that action at this time.