>>>>> "Arnout" == Arnout Vandecappelle <arnout at mind.be> writes: Arnout> I'm really thinking we should move all that to a proper shell Arnout> script. Then adding that kind of magic would feel as much less of an Arnout> overhead. Agreed. -- Bye, Peter Korsgaard