ack and pushed w/ a small change Jim suggested in the other review:<br><br>+                        if $CONFIG_DIR/*"$OPTION" ; then<br><br>instead of<br><br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
+                        $CONFIG_DIR/*"$OPTION"<br>
+                        if [ $? = 0 ]; then<br><br>
</blockquote></div><br>