Commit 802cbb4
authored
Upgrade pagefind (#2048)
## Changes
- Update Pagefind (the library that implements the search on the site)
- Enable the "Pagefind Playground"
## Context
The [recently-released new
version](https://github.com/Pagefind/pagefind/releases/tag/v1.4.0) of
Pagefind sports a pretty neat
[Playground](https://pagefind.app/docs/playground/) for experimenting
with the search parameters (to optimize them for better search results).
I mentioned this
[here](#2046 (comment)),
and don't want to derail the _highly_ desirable effort to refresh the
website, therefore I'll not even mention it _there_ that I opened this
PR.
@jvns @To1ne FYI this is the PR to upgrade Pagefind and enable the
Playground.File tree
3 files changed
+29
-6
lines changed- .github
- actions/deploy-to-github-pages
- workflows
3 files changed
+29
-6
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
83 | 83 | | |
84 | 84 | | |
85 | 85 | | |
86 | | - | |
| 86 | + | |
87 | 87 | | |
88 | 88 | | |
89 | 89 | | |
| |||
107 | 107 | | |
108 | 108 | | |
109 | 109 | | |
110 | | - | |
| 110 | + | |
111 | 111 | | |
112 | 112 | | |
113 | 113 | | |
| 114 | + | |
| 115 | + | |
| 116 | + | |
| 117 | + | |
| 118 | + | |
| 119 | + | |
| 120 | + | |
| 121 | + | |
| 122 | + | |
| 123 | + | |
| 124 | + | |
| 125 | + | |
| 126 | + | |
| 127 | + | |
| 128 | + | |
| 129 | + | |
| 130 | + | |
| 131 | + | |
| 132 | + | |
| 133 | + | |
| 134 | + | |
| 135 | + | |
| 136 | + | |
114 | 137 | | |
115 | 138 | | |
116 | 139 | | |
| |||
144 | 167 | | |
145 | 168 | | |
146 | 169 | | |
147 | | - | |
| 170 | + | |
148 | 171 | | |
149 | 172 | | |
150 | 173 | | |
| |||
155 | 178 | | |
156 | 179 | | |
157 | 180 | | |
158 | | - | |
| 181 | + | |
159 | 182 | | |
160 | 183 | | |
161 | 184 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
33 | 33 | | |
34 | 34 | | |
35 | 35 | | |
36 | | - | |
| 36 | + | |
37 | 37 | | |
38 | 38 | | |
39 | 39 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
32 | 32 | | |
33 | 33 | | |
34 | 34 | | |
35 | | - | |
| 35 | + | |
36 | 36 | | |
37 | 37 | | |
38 | 38 | | |
| |||
0 commit comments