Blocksworld: support relative links.

blocksworld/blocksworld

@@ -1,15 +1,15 @@
 #! /bin/bash
 
-set -e
-set -u
+set -euo pipefail
 
-# Either 3 or 4.
-OPS=$1
+OPS=$1  # Either 3 or 4.
 BLOCKS=$2
 
-BS=$(dirname "$0")/bwstates.1/bwstates
-TR=$(dirname "$0")/${OPS}ops/2pddl/2pddl
+# Get full directory name of the script (https://stackoverflow.com/a/246128).
+SCRIPT_DIR="$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )"
 
+BS=${SCRIPT_DIR}/bwstates.1/bwstates
+TR=${SCRIPT_DIR}/${OPS}ops/2pddl/2pddl
 
 ${BS} -s 2 -n ${BLOCKS} > STATES
 ${TR} -d STATES -n ${BLOCKS}