On Tue, Jul 23, 2013 at 10:57 AM, Gerd Stolpmann <info@gerd-stolpmann.de> 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