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 _______________________________________________ Denemo-devel mailing list Denemo-devel@gnu.org https://lists.gnu.org/mailman/listinfo/denemo-devel
