Jean Abou Samra
Joined 15 October 2025
→Search issues: new section |
→More fonts for the Wiki: Reply |
||
| (10 intermediate revisions by 2 users not shown) | |||
| Line 64: | Line 64: | ||
To get nice snippet headings in the documentation, we often use non-letter stuff like opening and closing quotes in Wiki page titles. However, as I've found out recently, this severely hampers searching. For example, the snippet [[Using \arpeggioBracket to make divisi more visible]] cannot be immediately found by entering “Using arpeggioBracket” (i.e., without the backslash) into the search field. | To get nice snippet headings in the documentation, we often use non-letter stuff like opening and closing quotes in Wiki page titles. However, as I've found out recently, this severely hampers searching. For example, the snippet [[Using \arpeggioBracket to make divisi more visible]] cannot be immediately found by entering “Using arpeggioBracket” (i.e., without the backslash) into the search field. | ||
I now wonder whether the Wiki can be configured to ignore | I now wonder whether the Wiki can be configured to ignore quote characters and the like in the search. If this is not possible, I have to add redirections for all articles with such characters in its name. It's not a big deal since it can be done programmatically, however, not needing this would be a better solution. -- [[User:Lemzwerg|Lemzwerg]] ([[User talk:Lemzwerg|talk]]) 13:55, 9 December 2025 (UTC) | ||
:AFAIU the autocompletion just matches by title prefix (to be clear, this is not about the search results page you get if you press Enter, which is much more complete). I think it's not too bad, not sure if there's any way to change it. [[User:Jean Abou Samra|Jean Abou Samra]] ([[User talk:Jean Abou Samra|talk]]) 14:13, 9 December 2025 (UTC) | |||
::OK, thanks. What do you think of installing the [https://www.mediawiki.org/wiki/Extension:CirrusSearch Cirrus search extension]? It seems that Wikimedia is using this by default, and it comes with fuzzy search support, AFAICS. -- [[User:Lemzwerg|Lemzwerg]] ([[User talk:Lemzwerg|talk]]) 14:47, 9 December 2025 (UTC) | |||
:::It looks like there is no opensearch package in Fedora, and honestly I'm not too keen on setting up a tool as large and complex as MediaWiki itself requiring its own systemd services and networks ports and so on if it's only for the sake of this autocompletion… [[User:Jean Abou Samra|Jean Abou Samra]] ([[User talk:Jean Abou Samra|talk]]) 18:20, 12 December 2025 (UTC) | |||
== More fonts for the Wiki == | |||
Jean, | |||
please have a look at the snippet [[Changing the default text font family]]: as can be seen, some font shapes for DejaVu Mono are missing. Is it possible to get them added to the server that runs the Wiki? | |||
BTW, the same holds for the [[UTF-8]] snippet, where Japanese is missing. | |||
-- [[User:Lemzwerg|Lemzwerg]] ([[User talk:Lemzwerg|talk]]) 15:39, 12 December 2025 (UTC) | |||
:Fixed. [[User:Jean Abou Samra|Jean Abou Samra]] ([[User talk:Jean Abou Samra|talk]]) 18:34, 12 December 2025 (UTC) | |||
::Thanks, but are you sure that the CJK font is working correctly? I tried to modify the [[UTF-8]] snippet to trigger a re-rendering, but I still can't see any Japanese... -- [[User:Lemzwerg|Lemzwerg]] ([[User talk:Lemzwerg|talk]]) 20:44, 12 December 2025 (UTC) | |||
:::Oops, indeed. But I don't understand why. On the server, <code>-dshow-available-fonts</code> does list "Noto Serif CJK JP". And curiously, if I remove all font settings and compile the code with different versions, it starts working between 2.25.12 and 2.25.13. [[User:Jean Abou Samra|Jean Abou Samra]] ([[User talk:Jean Abou Samra|talk]]) 23:49, 12 December 2025 (UTC) | |||
::::Ah, I forgot that Google added Font Variation (VF) versions of the CJK fonts, and the various GNU/Linux distros eagerly took them to make the font bundles much smaller. Older LilyPond versions cannot reject these fonts correctly. | |||
::::For me it works with 2.24.4 if you use the font <code>[https://github.com/notofonts/noto-cjk/blob/main/Serif/OTF/Japanese/NotoSerifCJKjp-Regular.otf NotoSerifCJKjp-Regular.otf]</code> (probably also installing the [https://github.com/notofonts/noto-cjk/blob/main/Serif/OTF/Japanese/NotoSerifCJKjp-Bold.otf bold version] for completeness), and this font is found first. -- [[User:Lemzwerg|Lemzwerg]] ([[User talk:Lemzwerg|talk]]) 04:24, 13 December 2025 (UTC) | |||
:::::Thanks, I've added these fonts on the server as a workaround. The snippet now displays correctly. [[User:Jean Abou Samra|Jean Abou Samra]] ([[User talk:Jean Abou Samra|talk]]) 09:13, 13 December 2025 (UTC) | |||
::::::Great, thanks! -- [[User:Lemzwerg|Lemzwerg]] ([[User talk:Lemzwerg|talk]]) 10:50, 13 December 2025 (UTC) | |||