]> git.vanrenterghem.biz Git - git.ikiwiki.info.git/blob - doc/todo/pagespec_aliases.mdwn
Scratch that, more work needed ☹
[git.ikiwiki.info.git] / doc / todo / pagespec_aliases.mdwn
1 [[!tag reviewed]]
2 [[!template id=gitbranch branch=jon/pagespec_alias author="[[Jon]]"]]
3 [[!tag patch wishlist]]I quite often find myself repeating a boiler-plate
4 [[ikiwiki/pagespec]] chunk, e.g.
6     and !*.png and !*.jpg...
8 it would be quite nice if I could conveniently bundle them together into a
9 pagespec "alias", and instead write
11     and !image()...
13 I wrote the following plugin to achieve this:
15     <snip old patch; see git branch outlined above>
17 I need to reflect on this a bit more before I send a pull request.  In
18 particular I imagine the strict/warnings stuff will make you puke.  Also, I'm
19 not sure whether I should name-grab 'alias' since [[todo/alias_directive]] is
20 an existing wishlist item.
22 > I think it would make sense to have "pagespec" in the name somehow.
24 >> Good idea, how about `pagespecalias`? — [[Jon]]
26 > No, the strict/warnings does not make me puke. Have you read my perl
27 > code? :-P
28
29 > Note that your XXX is right. It would be a security hole to not validate
30 > `$key`, as anyone with websetup access could cause it to run arbitrary
31 > perl code.
32
33 > Well, except that websetup doesn't currently support configuring hashes
34 > like used here. Which is a pity, but has led me to try to avoid using
35 > such hashes in the setup file.
37 > > If I removed the `getsetup` subroutine, it would not be exposed via
38 > > website, is that right?  I suppose it doesn't hurt to validate key, even if
39 > > this risk was not there.  Is the use of a hash here a blocker for adoption?
40 > > — [[Jon]]
42 > Have you considered not defining the pagespec aliases in the setup file, but
43 > instead as directives on pages in the wiki? Using pagestate could store
44 > up the aliases that have been defined. It could however, be hard to get
45 > the dependencies right; any page that uses a pagespec containing 
46 > an alias `foo` would need to somehow depend on the page where the alias
47 > was defined. --[[Joey]] 
49 > > I haven't thought the dependency issue through beyond "that might be hard".
50 > > Personally, I don't like defining stuff like this in pages, but I appreciate
51 > > some do.  There could be some complex scenarios where some pages rely on a
52 > > pagespec alias defined on others; and could have their meanings changed by
53 > > changing the definition.  A user might have permission to edit a page with a
54 > > definition on it but not on the pages that use it, and similar subtle permission
55 > > bugs.  I'm also not sure what the failure mode is if someone redefines an alias,
56 > > and whether there'd be an unpredictable precedence problem.
57 > > How about both methods? — [[Jon]]
59 Here's an example setup chunk:
61      pagespec_aliases:
62        image: "*.png or *.jpg or *.jpeg or *.gif or *.ico"
63        helper: "*.css or *.js"
64        boring: "image() or helper()"
66 The above demonstrates self-referential dynamic pagespec aliases.  It doesn't work,
67 however, to add ' or internal()' to `boring`, for some reason.
69 -- [[Jon]]
71 > Probably needs to be `or internal(*)` --[[Joey]] 
73 > > Ah yes, could be, thanks. — [[Jon]]
75 > another useful pagespec alias for large maps:
77        basewiki: "sandbox or templates or templates/* or ikiwiki or ikiwiki/* or shortcuts or recentchanges or wikiicons/*"
79 > -- [[Jon]]
81 >> Useful indeed! --[[Joey]] 
84 >>> I've tweaked my patch in light of your above feedback:  The plugin has been
85 >>> renamed, and I now validate keys.  I've also added documentation and tests
86 >>> to the branch.  I haven't read rubykat's code properly yet, and don't have
87 >>> access at the time of writing (I'm on a beach in Greece ☺), but I expect it
88 >>> would be possible to extend what I've got here to support defining the
89 >>> aliases in a PageSpec, once the dependency stuff has been reasoned out
90 >>> properly.
91 >>>
92 >>> I'd like to solve the issue of this not being web-configurable by
93 >>> implementing support for more nested datatypes in [[plugins/websetup]]. —
94 >>> [[Jon]]
96 >>>> Well, it's a difficult problem. websetup builds a form using
97 >>>> CGI::FormBuilder, which makes it easy to build the simple UI we have
98 >>>> now, but sorta precludes anything more complicated. And anything with
99 >>>> a nested datatype probably needs a customized UI for users to be able
100 >>>> to deal with it. I don't think websetupability need be a deal-breaker
101 >>>> for this patch. I personally like special pages like Kathryn is doing
102 >>>> more than complex setup files. --[[Joey]]
104 >>>>> I've ran out of time to keep working on this, so I'm just going to
105 >>>>> submit it as a 'contrib' plugin and leave things at that for now.
106 >>>>> — [[Jon]]
108 ---------------------------
110 Based on the above, I have written an experimental plugin called "subset".
111 It's in my "ikiplugins" repo on github, in the "experimental" branch.
112 <https://github.com/rubykat/ikiplugins/blob/experimental/IkiWiki/Plugin/subset.pm>
114 It takes Joey's suggestion of defining the subsets (aliases) as directives;
115 I took the example of the [[plugins/shortcut]] plugin and designated a single special page as the one where the directives are defined,
116 though unlike "shortcut" I haven't hardcoded the name of the page; it defaults to "subsets" but it can be re-defined in the config.
118 I've also added a feature which one might call subset-caching; I had to override `pagespec_match_list` to do it, however.
119 An extra parameter added to `pagespec_match_list` called `subset` which
121 * limits the result to look *only* within the set of pages defined by the subset (uses the "list" option to pagespec_match_list to do this)
122 * caches the result of the subset search so that the second time subset "foo" is used, it uses the stored result of the first search for "foo".
124 This speeds things up if one is using a particular subset more than once, which one probably is if one bothered to define the subset in the first place.
125 The speed increase is most dramatic when the site has a large number of pages and the number of pages in the subset is small.
126 (this is similar to the "trail" concept I used in my [[plugins/contrib/report]] plugin, but not quite the same)
128 Note that things like [[plugins/map]] can't make use of "subset" (yet) because they don't pass along all the parameters they're given.
129 But [[plugins/contrib/report]] actually works without alteration because it does pass along all the parameters.
131 Unfortunately I haven't figured out how to do the dependencies - I'd really appreciate help on that.
133 --[[KathrynAndersen]]
135 > > Cool!  I like the caching idea.  I'm not sure about the name.  I don't like defining
136 > > stuff in pages, but I appreciate this is a matter of taste, and would be happy with
137 > > supporting both. — [[Jon]]
139 >>> I've now gone and completely re-done "subset" so that it is less like an alias, but it a bit clearer and simpler:
140 >>> instead of having a separate "match_" function for every alias, I simply have one function, "match_subset"
141 >>> which takes the name of the subset.  Thus a \[[!subset name="foo"...]] would be called `subset(foo)` rather than `foo()`.
143 >>> There are a few reasons for this:<br/>
144 >>> (a) it's more secure not to be evaluating code on the fly<br/>
145 >>> (b) it's simpler<br/>
146 >>> (c) (and this was my main reason) it makes it possible to do caching without having to have a separate "subset" argument.
147 >>> I've done a bit of a hack for this: basically, the PageSpec is checked to see if the very start of the PageSpec is `subset(foo) and` or if the whole pagespec is just `subset(foo)` and if either of those is true, then it does the subset caching stuff.
148 >>> The reason I check for "and" is that if it is "subset(foo) or something" then it would be an error to use the subset cache in that case.
149 >>> The reason I just check the start of the PageSpec is because I don't want to have to do complex parsing of the PageSpec.
151 >>> As for defining subsets in the config rather than on pages, I perfectly understand that desire, and I could probably add that in.
153 >>> As for the name "subset"... well, it's even less like an alias now, and "alias" is already a reserved name.  What other names would you suggest?
155 >>>--[[KathrynAndersen]]
157 >>>> Regarding my comments:  I wasn't clear what you are/were intending to
158 >>>> achieve with your modifications.  I've aimed for a self-contained plugin
159 >>>> which could be merged with ikiwiki proper.  I think I initially took your
160 >>>> developments as being an evolution of that with the same goal, which is
161 >>>> why I commented on the (change of) name.  However, I guess your work is
162 >>>> more of a fork than a continuation,  in which case you can call it
163 >>>> whatever you like ☺  I like some of the enhancements you've made, but
164 >>>> having the aliases/subsets/"things" work in any pagespec (inside map, or
165 >>>> inline) is a deal-breaker for me. — [[Jon]]
167 >>>>> I'm a bit confused by your statement "having the aliases/subsets/"things" work in any pagespec (inside map, or inline) is a deal-breaker for me".
168 >>>>> Do you mean that you want them to work in any pagespec, or that you *don't* want them to work in any pagespec? -- [[KathrynAndersen]]
170 >>>>>> I mean I would want them to work in any pagespec. — [[Jon]]
172 ----
174 Hi, it's been 7 years since I last looked at this, and I'm surprised to find
175 that I'd got it up to a merge-request state; I've dusted it off and done some
176 clean up and testing, but it's working (albeit not via websetup). I've revamped
177 the docs and rebased the branch. Can someone please consider merging ([[joey]]
178 or [[smcv]]?) or otherwise feed back on this? Thanks! — [[Jon]] (2018-09-25)
180 > To hide it from `websetup`, the `example` needs to be a hash reference
181 > like `example => { images => "*.png or *.jpg or *.gif" }`, I think?
182 > (Please try it on a websetup-enabled wiki, possibly by copying
183 > `t/manual/git_revert` to `t/manual/websetup` and adapting it as required.)
185 > For a less magical variant, you could consider using `alias(images)`
186 > instead of `images()` for the pagespec syntax that is enabled by the
187 > example above. I'm not sure which way is better.
189 > If `safe_key` fails, you probably want to log a warning, or even fail
190 > `checkconfig` with a fatal `error`?
192 > If `checkconfig` detects that the given pagespec function already
193 > exists, for example `title` after loading the meta plugin, you probably
194 > want to log a warning or fail? It seems you can detect this with
195 > `defined ref *$subname{CODE}`.
197 > If you define a loop of mutually recursive aliases (or even an alias
198 > that refers to itself), I think you'll get infinite recursion.
199 > You can probably bypass that with a construct like:
201 >     my $entered;
202 >     *{ $subname } = sub {
203 >         return IkiWiki::ErrorReason->new("Alias $key is defined recursively") if $entered;
204 >         $entered = 1;
205 >         my $result = IkiWiki::pagespec_match($path, $value);
206 >         $entered = 0;
207 >         return $result;
208 >     }
210 > (but don't take my word for it, a regression test would tell you whether
211 > this works.)
213 > --[[smcv]]
215 ----
217 Thank you for the review (nearly a year ago, I've just noticed!). I've
218 added checks for the issues you outline above, and test coverage for all
219 those issues.
220 I've also decided to rename the plugin (back) to just "alias":
221 I mooted that right back when I started this but I was worried about
222 potential ambiguity. That was ten years ago and I think the concern has
223 prove unfounded. I've left the config key as `pagespec_aliases` though,
224 as that's one area I think its clearer.
226 With regards `aliasname()` versus `alias(aliasname)`:
227 I've given this some thought. Pros and cons of that approach: it would be
228 a little uglier; you would not inadvertently clash with a PageSpec defined
229 elsewhere. However, I wonder if someone might actually *want* to define a
230 PageSpec this way that was the same as that defined by something else: Perhaps,
231 you have disabled a plugin that defined a PageSpec name and you want to substitute
232 what it would have expanded to with something else, for example.
234 I will (after writing this) rebase my branch. Please take another look!
235 (just in case the rebase and/or the "-" in the branchnames causes problems
236 with IkiWiki's auto-mirror-pull, the branch is here:
237 <https://github.com/jmtd/ikiwiki/tree/pagespec-alias>)
239 *— [[Jon]], 2020-01-10*
241 > Scratch that, more work needed ☹ *— [[Jon]], 2020-01-11*