Is there a 'best practice' for how to thoroughly and effectively delete plugins? (I'm using node.js, if that matters.)
I've been just deleting the plugin's tiddler. Today, I had to spend some quality time poking around in my tiddlers folder, and I see a bunch of leftover $__plugins files from deleted plugins. It appears that when I delete a plugin named $:/plugins/foo/bar via TW, I also need to visit the file system and manually delete $__plugins_foo_bar* from the tiddlers folder. Any other cleanup I ought to be doing? TIA -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" 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/tiddlywiki/dd94259d-6439-4b1a-b313-e1923aaf89b2%40googlegroups.com.
