On Tue, Jul 23, 2013 at 10:57 AM, Gerd Stolpmann wrote: > This is just misinformation, and no argument, because godi also installs > into a separate directory hierarchy. The equivalent is rm -Rf /opt/godi, if you had installed GODI there. -- *Paolo*