Project

General

Profile

Task #2414

Wiki gadget for Asciinema files

Added by Beluga Beluga 29 days ago.

Status:
New
Priority:
Normal
Assignee:
Category:
Wiki
Target version:
-
Start date:
Due date:
% Done:

0%

Estimated time:
Tags:
URL:

Description

This summer I made an Asciinema recording of building LibreOffice under Ubuntu. I would like to be able to embed it on our wiki. I believe Asciinema recordings could be useful tutorials for other things down the line (you can copy text from them).

The Asciinema player https://github.com/asciinema/asciinema-player requires two files: asciinema-player.css and asciinema-player.js (.js right before closing the body element).

Then the recording is added in the article like so:
<asciinema-player src="/demo.cast"></asciinema-player>
I hope the markup would be allowed by default and we would not need an additional extension. In the worst case we would have to use https://www.mediawiki.org/wiki/Extension:HTML_Tags

It would appear the .css and .js files could be made available as a gadget (the extension is shipped with MW): https://www.mediawiki.org/wiki/Extension:Gadgets

Also available in: Atom PDF