]> git.vanrenterghem.biz Git - git.ikiwiki.info.git/commitdiff
My thoughts.
authortschwinge <tschwinge@web>
Mon, 20 Oct 2008 08:58:04 +0000 (04:58 -0400)
committerJoey Hess <joey@kitenet.net>
Mon, 20 Oct 2008 08:58:04 +0000 (04:58 -0400)
doc/todo/clear_page_to_delete.mdwn

index eddce79b42d863893165d99041e2e48c61d48781..ccb7634e5848c62d25174312342fbb041f1aa14f 100644 (file)
@@ -18,3 +18,9 @@ offending change. --[[Joey]]
 I don't think we need a second way to delete pages, which would probably be
 used by the only few people who will learn it's possible by random
 documentation reading, find it useful, *and* remember it. -- [[intrigeri]]
+
+On the other hand, clearing the page's whole content essentially means deleting
+the page.  That's what the user intended to do in this case.  The information
+content of an empty vs. a deleted page is essentially the same, I'd say.  But
+having ikiwiki remove those stale pages would save some (minimal, admittedly)
+time needed for manual clean-up.  --[[tschwinge]]