On Wed, 2017-05-10 at 14:53 +0200, Andreas Schneider wrote:
> On 05/10/2017 02:33 PM, Richard Shann wrote:
> > That is to say a directory whose name starts ".denemo-" followed by a
> > version number. It is created in your home directory when you run a
> > version of Denemo for the first time. It holds your preferences, which
> > will be picked up when you try out a new binary from Jeremiah.
> > From previous emails it would seem your home directory
> > is /Users/anthonyventura
> >
> > if so
> >
> > rm -rf /Users/anthonyventura/denemo-*
> >
> > would remove all the old ones created by Denemo.
>
> Did you forget the dot in front of the denemo directory, i.e. should it be
yes, sorry Tony, I forgot the dot in front of the directory name. So
rm -rf /Users/anthonyventura/.denemo-*
is the correct command as Andreas says.
Richard