diff options
author | http://gmcmanus.myopenid.com/ <http://gmcmanus.myopenid.com/@web> | 2008-07-22 05:33:24 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2008-07-22 05:33:24 -0400 |
commit | b2917c76cb63daac80b69678113fd220cb07bd72 (patch) | |
tree | 6f432c685099b080423177d1f417c939e02d05cb /doc | |
parent | 602ad172d0cb5b07de0de2c7cc6eedb1ede74383 (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.mdwn | 20 |
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. |