Oh, that is cool... :-( http://www.mydatabasesupport.com/forums/shell/372920-ubuntu-sh-cannot-echo-backslash-bug.html
Maybe I should do a rewrite to use printf or /bin/echo. Ralf ------------------------------------------------------------------------- Check out the new SourceForge.net Marketplace. It's the best place to buy or sell services for just about anything Open Source. http://sourceforge.net/services/buy/index.php _______________________________________________ Aldor-combinat-devel mailing list Aldor-combinat-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel
