Comment 3 for bug 516501

Revision history for this message
bean (bean123ch) wrote :

BTW, there is a small issue with echo -e. Ubuntu's sh points to dash, which doesn't understand echo -e, therefore there is an extra -e in the output file. I have changed it to cat << EOF in r1821, which works in both bash and dash.