projects
/
scripts.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Update.
[scripts.git]
/
clean.sh
diff --git
a/clean.sh
b/clean.sh
index
4ca5db6
..
b6767a3
100755
(executable)
--- a/
clean.sh
+++ b/
clean.sh
@@
-32,12
+32,12
@@
for i in "nav:tex" "snm:tex" "toc:tex" "blg:tex" \
for f in *.$PRODUCED; do
ORIGINAL=${f/.$PRODUCED/.$SOURCE}
if [ -f "${ORIGINAL}" ]; then
for f in *.$PRODUCED; do
ORIGINAL=${f/.$PRODUCED/.$SOURCE}
if [ -f "${ORIGINAL}" ]; then
- if [ "${f}" -nt "${ORIGINAL}" ]; then
+
#
if [ "${f}" -nt "${ORIGINAL}" ]; then
echo "Moving file $f to ${TRASH} ($ORIGINAL exists)"
mv $f ${TRASH}
echo "Moving file $f to ${TRASH} ($ORIGINAL exists)"
mv $f ${TRASH}
- else
- echo "File $f is older than $ORIGINAL. Keeping both."
- fi
+
#
else
+
#
echo "File $f is older than $ORIGINAL. Keeping both."
+
#
fi
fi
done
done
fi
done
done
@@
-51,7
+51,7
@@
done
for f in $(find -type f -executable); do
if [ -f ${f}.cc ] || [ -f ${f}.c ]; then
for f in $(find -type f -executable); do
if [ -f ${f}.cc ] || [ -f ${f}.c ]; then
- echo "
move
$f to ${TRASH} (source code exists)"
+ echo "
Moving
$f to ${TRASH} (source code exists)"
mv $f ${TRASH}
fi
done
mv $f ${TRASH}
fi
done