diff options
| author | intrigeri <intrigeri@boum.org> | 2008-10-20 14:33:19 +0200 |
|---|---|---|
| committer | intrigeri <intrigeri@boum.org> | 2008-10-20 14:33:19 +0200 |
| commit | fadb26bc1507f7fc2caaa873ad32c12f75c378aa (patch) | |
| tree | 7ee389c28208e236cc4da4c3c51dbe9eae9234f0 /doc/todo/clear_page_to_delete.mdwn | |
| parent | 654adc105e008b57aa5b9700d7aece2a0f7b0682 (diff) | |
| parent | 4a958e0c1e1d3f49c665c5d4aa89214ecbd61bdd (diff) | |
Merge commit 'origin/master' into prv/po
Diffstat (limited to 'doc/todo/clear_page_to_delete.mdwn')
| -rw-r--r-- | doc/todo/clear_page_to_delete.mdwn | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/todo/clear_page_to_delete.mdwn b/doc/todo/clear_page_to_delete.mdwn index 1a0d3f008..ccb7634e5 100644 --- a/doc/todo/clear_page_to_delete.mdwn +++ b/doc/todo/clear_page_to_delete.mdwn @@ -14,3 +14,13 @@ question is really: Re vandalism in general, I am generally happy using git-revert to kill the 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]] |