On Sunday, February 23, 2020 at 9:33:49 AM UTC-5, andyjim wrote: > > On Saturday, February 22, 2020 at 11:32:24 PM UTC-5, Thomas Passin wrote: >> >> >> >> When I was working my way through this, I got the panes into some >> arrangement that was unusable and I couldn't recover from. The remedy is >> to delete Leo's "*db*" directory (thanks to @ekr for this). This will >> let you start again. >> > > Looks like I need to delete db, as I've experimented myself into a jam. > But she don't wanna delete. Says it's a directory and won't touch it. I > looked up how to delete a directory but it won't let me do it. Hmm. > sudo? Nope, still won't delete a directory. MacOS. >
I'm not sure how it works on MacOS, but on Linux you would probably need to run rm with "-r": rm -r mydir # "-r" # recursively deletes everything below mydir -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/f208d5ac-40a6-44e6-b84e-35d207931d9a%40googlegroups.com.
