variabletime/watch.sh

11 lines
208 B
Bash
Raw Normal View History

2024-03-16 09:57:27 +01:00
#!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
PREVIOUS_DIR=$(pwd)
cd $DIR
echo "$(git ls-files src && git ls-files bin/data)" | entr -d ./rebuild.sh
cd $PREVIOUS_DIR