tools - Revision 353: /userconfig/bash