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 rm -rf /Users/anthonyventura/.denemo-* or is the leading dot omitted under MacOS/ ? Andreas _______________________________________________ Denemo-devel mailing list Denemo-devel@gnu.org https://lists.gnu.org/mailman/listinfo/denemo-devel
