From 8f3c1de9f16e998e3462467b5a80bad3e9d7dc19 Mon Sep 17 00:00:00 2001 From: David Kaufmann Date: Thu, 27 Sep 2018 00:46:13 +0200 Subject: track generated files --- bin/genSkelTar.sh | 28 ++++++++++++++++------------ 1 file changed, 16 insertions(+), 12 deletions(-) (limited to 'bin') diff --git a/bin/genSkelTar.sh b/bin/genSkelTar.sh index d36038e..8b881d3 100755 --- a/bin/genSkelTar.sh +++ b/bin/genSkelTar.sh @@ -9,28 +9,32 @@ cd ${BASEDIR}/../ rm -f www/skel.tar.gz www/skel.tar rm -rf gen -mkdir gen # generate files in 'gen' # echo "updating source repositories" git submodule update --init git submodule update -#echo "generating gen/ directory" -ls -1 src/*.sh | while read file -do - echo "generating ${file}" - sh $file >/dev/null -done -ls -1 src/*.py | while read file -do + +datestamp=`date --iso-8601=date` +echo -n "# ${datestamp}" >> .gitignore + +for file in `find src -maxdepth 1 -type f -executable`; do + mkdir gen echo "generating ${file}" - python $file >/dev/null + $file >/dev/null + + # find changed files + find gen -type f | while read gen_file ; do + home_file=`echo $gen_file | sed 's/^gen/home/'` + cp .gitignore .gitignore.old + cat .gitignore.old | grep -Fv "$home_file" > .gitignore + echo "$home_file" >> .gitignore + done + rm -rf gen done # pack files to skel.tar echo "packing home/" tar -cf www/skel.tar home -echo "packing gen/" -tar -uf www/skel.tar gen # compress to skel.tar.gz echo "compressing to skel.tar.gz" gzip www/skel.tar -- cgit v1.2.3