From 2708009eaf89fbc5641f57411c97e3278b7032d5 Mon Sep 17 00:00:00 2001 From: buckE Date: Wed, 24 Jun 2020 03:41:18 +0000 Subject: $HOME --- buildbot/build-docs.sh | 21 +++++++++++---------- 1 file changed, 11 insertions(+), 10 deletions(-) diff --git a/buildbot/build-docs.sh b/buildbot/build-docs.sh index 29664f6..ed3bafb 100755 --- a/buildbot/build-docs.sh +++ b/buildbot/build-docs.sh @@ -10,17 +10,18 @@ fetch () { git reset --hard "$branch" } -# Can probably remove permanently re: no longer doing local sphinx logs. # Remove local path re: using global buildbot-worker not pip local install #export PATH=$HOME/.local/bin:$PATH -#logfile="/home/docbuilder/sphinx-warnings.log" -#if [ -f "$logfile" ] -# then -# echo $logfile " exists. Moving to" $logfile".old." -# mv $logfile $logfile.old -# else -# echo "Info: existing log file '$logfile' not found." -#fi + +mkdir -p $HOME/logs +logfile="$HOME/logs/sphinx-warnings.log" +if [ -f "$logfile" ] + then + echo $logfile " exists. Moving to" $logfile".old." + mv $logfile $logfile.old + else + echo "Info: existing log file '$logfile' not found." +fi cd $HOME/docs fetch @@ -33,4 +34,4 @@ mkdir -p $HOME/build/docs/pdf/ cp -r _build/html/* $HOME/build/docs/html/ cp -r _build/latex/*.pdf $HOME/build/docs/pdf/ -cat $PWD/sphinx-warnings.log +cat $logfile -- cgit v1.2.3