> Totally unrelated to your posting: > > I wonder why http://www.python.org/dev/faq/#how-to-make-a-patch uses tee > instead of > file ? So you can see what the patch looks like? Regards, Martin