2021-09-19 10:47:21
|
<wm-bot>
|
!log tools.notwikilambda <lucaswerkmeister> configured $wgFooterIcons if notwikilambda-configure-wgFooterIcons URL parameter isn’t set to false, working around T291325
|
2021-09-19 10:47:25
|
<stashbot>
|
Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.notwikilambda/SAL
|
2021-09-19 13:49:34
|
<wm-bot>
|
!log tools.lexeme-forms <lucaswerkmeister> deployed 3c1b6e0810 (readinessProbe → startupProbe to avoid bloating access log); deployed by adding readinessProbe: null to the patch file and patching the deployment with that
|
2021-09-19 13:49:38
|
<stashbot>
|
Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.lexeme-forms/SAL
|
2021-09-19 15:34:51
|
<wm-bot>
|
!log tools.notwikilambda <lucaswerkmeister> improved automatic updates of function orchestrator and evaluator, should work without downtime now
|
2021-09-19 15:34:57
|
<stashbot>
|
Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.notwikilambda/SAL
|
2021-09-19 15:48:58
|
<wm-bot>
|
!log tools.notwikilambda <lucaswerkmeister> temporarily disabled SyntaxHighlight extension due to issues with the Pygments server
|
2021-09-19 15:49:04
|
<stashbot>
|
Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.notwikilambda/SAL
|
2021-09-19 16:39:12
|
<wm-bot>
|
!log tools.notwikilambda <lucaswerkmeister> rolled back SyntaxHighlight_GeSHi to commit 580ce3425f, because I2e82e5aa2a is incompatible with pygments-server (provides input as file instead of stdin)
|
2021-09-19 16:39:15
|
<stashbot>
|
Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.notwikilambda/SAL
|
2021-09-19 16:39:32
|
<wm-bot>
|
!log tools.notwikilambda <lucaswerkmeister> (and reenabled SyntaxHighlight_GeSHi)
|
2021-09-19 16:39:38
|
<stashbot>
|
Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.notwikilambda/SAL
|
2021-09-19 16:47:40
|
<wm-bot>
|
!log tools.notwikilambda <lucaswerkmeister> changed restart cronjob to 9:30 and 21:30 to avoid congestion at midnight/noon
|
2021-09-19 16:47:43
|
<stashbot>
|
Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.notwikilambda/SAL
|
2021-09-19 17:23:07
|
<legoktm>
|
lucaswerkmeister: how does your pygments-server code work?
|
2021-09-19 17:23:31
|
<lucaswerkmeister>
|
sends the command line arguments and stdin to a flask server
|
2021-09-19 17:23:36
|
<lucaswerkmeister>
|
the fake pygmentize is here https://github.com/lucaswerkmeister/pygments-server/blob/main/pygmentize
|
2021-09-19 17:24:25
|
<lucaswerkmeister>
|
and then the main part of the server is just this bit https://github.com/lucaswerkmeister/pygments-server/blob/451d6c93901b0dda96fc9de0681dbc781df44c80/app.py#L46-L53
|
2021-09-19 17:24:52
|
<lucaswerkmeister>
|
fake stdin, fake stdout, run pygments.cmdline.main(), return fake stdout (so flask will send it back to curl)
|
2021-09-19 17:25:02
|
<legoktm>
|
hm
|
2021-09-19 17:26:26
|
<lucaswerkmeister>
|
is my understanding correct that, in production, pygments is eventually going to run in a container that has both PHP (for the shellbox server) and Python (for pygments itself)?
|
2021-09-19 17:26:41
|
<legoktm>
|
yes
|
2021-09-19 17:26:44
|
<lucaswerkmeister>
|
ok
|
2021-09-19 17:27:03
|
<legoktm>
|
there's also https://phabricator.wikimedia.org/T257988
|
2021-09-19 17:27:29
|
<lucaswerkmeister>
|
ah, I wasn’t aware of that
|
2021-09-19 17:27:47
|
<lucaswerkmeister>
|
but I was aware of the Khan server itself, it didn’t quite work for me
|
2021-09-19 17:27:52
|
<lucaswerkmeister>
|
that’s why I wrote my own
|
2021-09-19 17:28:05
|
<lucaswerkmeister>
|
maybe I should at least comment that on the task, probably useful information in general
|
2021-09-19 17:29:12
|
<legoktm>
|
now that I separated out all the pygmentize calls, I think it should be straightforward to add in a class that delegates everything to a HTTP server
|
2021-09-19 17:29:16
|
<lucaswerkmeister>
|
otherwise – I’m okay with just keeping SyntaxHighlight frozen at the old version for the notwikilambda wiki, it’s probably going to be deleted in less than a year anyways (once Wikifunctions launches)
|
2021-09-19 17:29:28
|
<lucaswerkmeister>
|
hm, or that
|
2021-09-19 17:29:50
|
<lucaswerkmeister>
|
if we can agree on a protocol ^^
|
2021-09-19 17:30:38
|
<legoktm>
|
hopefully should be as simple as /css /lexers /highlight
|