summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorhttp://gmcmanus.myopenid.com/ <http://gmcmanus.myopenid.com/@web>2008-07-22 05:33:24 -0400
committerJoey Hess <joey@kitenet.net>2008-07-22 05:33:24 -0400
commitb2917c76cb63daac80b69678113fd220cb07bd72 (patch)
tree6f432c685099b080423177d1f417c939e02d05cb /doc
parent602ad172d0cb5b07de0de2c7cc6eedb1ede74383 (diff)
bug when pages changing extension; new patch
Diffstat (limited to 'doc')
-rw-r--r--doc/bugs/page_is_not_rebuilt_if_it_changes_extension.mdwn20
1 files changed, 20 insertions, 0 deletions
diff --git a/doc/bugs/page_is_not_rebuilt_if_it_changes_extension.mdwn b/doc/bugs/page_is_not_rebuilt_if_it_changes_extension.mdwn
new file mode 100644
index 000000000..d5719744e
--- /dev/null
+++ b/doc/bugs/page_is_not_rebuilt_if_it_changes_extension.mdwn
@@ -0,0 +1,20 @@
+Suppose a wiki has a source page a.mdwn, which is then moved to a.wiki.
+(Suppose both the mdwn and wikitext plugins are enabled, so this changes how "a" is rendered.)
+Currently, when the wiki is refreshed, ikiwiki doesn't notice the change
+and the page is not rebuilt.
+
+I have a [[patch]] that fixes this.
+The relevant commit on [my Github fork of ikiwiki](http://github.com/gmcmanus/ikiwiki/) is:
+
+ b6a3b8a683fed7a7f6d77a5b3f2dfbd14c849843
+
+The patch (ab)uses`%forcerebuild`, which is meant for use by plugins.
+If, for some reason, a plugin deletes the page's entry in `%forcerebuild`, it won't be rebuilt.
+
+This patch uncovers another problem.
+Suppose a wiki has a source page "a" (no extension)
+which is then moved to "a.mdwn" (or vice versa).
+ikiwiki fails when trying to create a directory "a" where there is a file "a"
+(or vice versa).
+
+The same problem occurs if both "a" and "a.mdwn" exist in the wiki.