1
edit
Changes
→Tips
*Watch the spaces
<source lang=bash>
if [ -d "$tmpInternal" ]; then
rm -r $tmpInternal >> $dateError.txt
* The increment operator in bash
<source lang=bash>
while [ $revTmpInternal -lt $revInternal ]; do
((revTmpInternal++))
done
</source>
* to check if a file exists: (when using wild cards, if you don't use double quotes, there will be this error: "binary operator expected")
<source lang=bash>
if [ -f "*.patch" ]; then
rm *.patch
fi
</source>
