#!/bin/bash # This file belongs to the framework. You are not expected to modify it. # Development command runner - parallel to ./mgmt for development tasks # Usage: ./develop [args...] set -eu DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" if [ $# -lt 1 ]; then echo "Usage: ./develop [args...]" echo "" echo "Available commands:" for cmd in "$DIR"/diachron/develop.d/*; do if [ -x "$cmd" ]; then basename "$cmd" fi done exit 1 fi subcmd="$1" shift exec "$DIR"/diachron/develop.d/"$subcmd" "$@"