Production details

About this server

• Linux monteverdi 3.13.0-34-generic #60-Ubuntu SMP Wed Aug 13 15:45:27 UTC 2014 x86_64 x86_64 x86_64 GNU/Linux

• Ubuntu 14.04.1

About this wiki

Installed using apt:

• apache2 2.4.7-1ubunt
• MediaWiki 1.19.14+dfsg-1
• PHP 5.5.9-1ubuntu4.14 (apache2handler)
• MySQL 5.5.40-0ubuntu0.14.04.1

Extensions

Apart from the default (as shipped with Debian GNU/Linux):

• SyntaxHighlight (Version 1.0.8.11)

Recording videos

OBS Studio

Formerly used: Simple Screen Recorder (GNU/Linux)

Uploading videos

We use vimeo

Fixing errors with subtitles

• Added subtitle in videos (swe and eng) to reflect the above:
• vimeo advanced --> upload subtitle.srt (lang: english, type: subtitle)
• vimeo basic: change languge to English (Canadian)
• Srt example

1
00:00:11,150 --> 00:00:21,109
Note: Only local variables get a default value

2
00:01:00,150 --> 00:01:10,109
Note: Only local variables get a default value

Useful commands

File list listing

tree --charset=ascii