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.
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.