comparison extra/soundsoftware/extract-docs.sh @ 1628:9c5f8e24dadc live tip

Quieten this cron script
author Chris Cannam
date Tue, 25 Aug 2020 11:38:49 +0100
parents 76f8f0814e1e
children
comparison
equal deleted inserted replaced
1627:7e2de1c811b3 1628:9c5f8e24dadc
82 82
83 for projectdir in "$hgdir"/* ; do 83 for projectdir in "$hgdir"/* ; do
84 84
85 if [ -d "$projectdir" ] && [ -d "$projectdir/.hg" ]; then 85 if [ -d "$projectdir" ] && [ -d "$projectdir/.hg" ]; then
86 86
87 if ! sudo -u www-data hg -R "$projectdir" -q update --check; then 87 if ! sudo -u www-data hg -R "$projectdir" -q update --check >> "$logfile" 2>&1; then
88 echo "Failed to update Hg in $projectdir, skipping" 1>&2 88 echo "Failed to update Hg in $projectdir, skipping" >> "$logfile"
89 continue 89 continue
90 fi 90 fi
91 91
92 project=$(basename "$projectdir") 92 project=$(basename "$projectdir")
93 93
100 chown docgen.www-data "$tmptargetdir" || fail "Temporary target directory ownership change failed" 100 chown docgen.www-data "$tmptargetdir" || fail "Temporary target directory ownership change failed"
101 101
102 mkdir -m 770 "$snapshotdir" || fail "Snapshot directory creation failed" 102 mkdir -m 770 "$snapshotdir" || fail "Snapshot directory creation failed"
103 chown docgen.www-data "$snapshotdir" || fail "Snapshot directory ownership change failed" 103 chown docgen.www-data "$snapshotdir" || fail "Snapshot directory ownership change failed"
104 104
105 hgparents=$(sudo -u www-data hg -R "$projectdir" parents) 105 hgparents=$(sudo -u www-data hg -R "$projectdir" parents 2>> "$logfile")
106 if [ -z "$hgparents" ]; then 106 if [ -z "$hgparents" ]; then
107 echo "Hg repo at $projectdir has no working copy (empty repo?), skipping" 107 echo "Hg repo at $projectdir has no working copy (empty repo?), skipping" >> "$logfile"
108 continue 108 continue
109 else 109 else
110 echo "Found non-empty Hg repo: $projectdir for project $project" 110 echo "Found non-empty Hg repo: $projectdir for project $project" >> "$logfile"
111 fi 111 fi
112 112
113 if ! sudo -u www-data hg -R "$projectdir" archive -r tip -t files "$snapshotdir"; then 113 if ! sudo -u www-data hg -R "$projectdir" archive -r tip -t files "$snapshotdir" >> "$logfile" 2>&1; then
114 echo "Failed to pick archive from $projectdir, skipping" 1>&2 114 echo "Failed to pack archive from $projectdir, skipping" >> "$logfile"
115 continue 115 continue
116 fi 116 fi
117 117
118 targetdir="$docdir/$project" 118 targetdir="$docdir/$project"
119 119
120 echo "Temporary dir is $tmpdir, temporary doc dir is $tmptargetdir, snapshot dir is $snapshotdir, eventual target is $targetdir" 120 echo "Temporary dir is $tmpdir, temporary doc dir is $tmptargetdir, snapshot dir is $snapshotdir, eventual target is $targetdir" >> "$logfile"
121 121
122 for x in $types; do 122 for x in $types; do
123 if sudo -u docgen "$progdir/extract-$x.sh" "$project" "$snapshotdir" "$tmptargetdir" >> "$logfile" 2>&1; then 123 if sudo -u docgen "$progdir/extract-$x.sh" "$project" "$snapshotdir" "$tmptargetdir" >> "$logfile" 2>&1; then
124 break 124 break
125 else 125 else
126 echo "Failed to extract via type $x" 126 echo "Failed to extract via type $x" >> "$logfile"
127 fi 127 fi
128 done 128 done
129 129
130 if [ -f "$tmptargetdir/index.html" ]; then 130 if [ -f "$tmptargetdir/index.html" ]; then
131 echo "Processing resulted in an index.html being created, looks good!" 131 echo "Processing resulted in an index.html being created, looks good!" >> "$logfile"
132 if [ ! -d "$targetdir" ] || [ ! -f "$targetdir/index.html" ]; then 132 if [ ! -d "$targetdir" ] || [ ! -f "$targetdir/index.html" ]; then
133 echo "This project hasn't had doc extracted before: enabling Embedded" 133 echo "This project hasn't had doc extracted before: enabling Embedded" >> "$logfile"
134 enable_embedded "$project" 134 enable_embedded "$project"
135 fi 135 fi
136 136
137 if [ -d "$targetdir" ]; then 137 if [ -d "$targetdir" ]; then
138 mv "$targetdir" "$targetdir"_"$$" && \ 138 mv "$targetdir" "$targetdir"_"$$" && \
142 else 142 else
143 mv "$tmptargetdir" "$targetdir" 143 mv "$tmptargetdir" "$targetdir"
144 chgrp -R "$redgrp" "$targetdir" 144 chgrp -R "$redgrp" "$targetdir"
145 fi 145 fi
146 else 146 else
147 echo "Processing did not result in an index.html being created" 147 echo "Processing did not result in an index.html being created" >> "$logfile"
148 fi 148 fi
149 fi 149 fi
150 done 150 done
151 151
152 rm -rf "$tmpdir" 152 rm -rf "$tmpdir"