Server/srs13/2022: Unterschied zwischen den Versionen

Version vom 1. Januar 2016, 17:42 Uhr

Betriebssystem

Server/srs1337

Jail FreeNAS

FreeBSD

Verwendungszweck

Wiki
- Server/Wiki
  - https://wiki.stura.htw-dresden.de
  - (http://wiki.stura.htw-dresden.de)

MediaWiki

Anpassungen MediaWiki

Alle Anpassungen, die über die Oberfläche vorgenommen wurden sind Server/Wiki#Anpassungen MediaWiki zu entnehmen.

Logo angepasst

https://www.mediawiki.org/wiki/Manual:FAQ#How_do_I_change_the_logo.3F

https://www.mediawiki.org/wiki/Manual:FAQ/de#Wie_kann_ich_das_Logo_.C3.A4ndern.3F

Grundlage war http://www.stura.htw-dresden.de/stura/ref/oea/cd/cd/logo/logo/image_thumb
ergänzende manuelle Anpassung zu http://www.stura.htw-dresden.de/stura/ref/oea/cd/cd/logo/customization/mediawiki_logo

cd /usr/local/www/mediawiki/skins/common/images/

fetch http://www.stura.htw-dresden.de/stura/ref/oea/cd/cd/logo/customization/mediawiki-logo

mv mediawiki-logo logo.png

cd /usr/local/www/mediawiki/

ee LocalSettings.php

$wgLogo                 = "$wgStylePath/common/images/logo.png";

favicon angepasst

https://www.mediawiki.org/wiki/Manual:FAQ#How_do_I_change_the_icon_in_the_browser.27s_address_line_.28favicon.29.3F

cd /usr/local/www/mediawiki/skins/common/images/

fetch http://www.stura.htw-dresden.de/stura/ref/oea/cd/cd/logo/customization/favicon/favicon-16-px

mv favicon-16-px favicon.png

Alternativ kann auch die Wikipedia als Quelle dienen.: fetch https://upload.wikimedia.org/wikipedia/commons/thumb/5/5c/Glider-small.svg/16px-Glider-small.svg.png; mv 16px-Glider-small.svg.png favicon.png

cd /usr/local/www/mediawiki/

ee LocalSettings.php

$wgFavicon              = "$wgStylePath/common/images/favicon.png";

Änderung des Namens der Seite ändern

Bisher war der Name der Seite StuRa HTW Dresden. Künftig soll die Seite Wiki StuRa HTW Dresden heißen.

Das führt dazu, dass auch der Name des Namensraumes geändert wird. (Im Übrigen ist das nicht so, wenn die Bezeichnung des Namensraumes in der LocalSettings.php festgelegt ist. Das war bei uns nicht der Fall, was ja auch gut so ist.)

Änderung des Namens der Seite: ee /usr/local/www/mediawiki/LocalSettings.php

#$wgSitename             = "StuRa HTW Dresden";
$wgSitename             = "Wiki StuRa HTW Dresden";

(temporäres) Fixieren der Bezeichnung des Namensraumes des Projektes (auf den bisherigen Stand): ee /usr/local/www/mediawiki/LocalSettings.php

$wgMetaNamespace = "StuRa_HTW_Dresden";
$wgMetaNamespaceTalk = "StuRa_HTW_Dresden_Diskussion";

noch zu erledigen

Ersetzen (Berichtigen) der Einträge (einzelne Seiten) im Wiki
Ersetzen von [[StuRa HTW Dresden: durch [[{{ns:project}}:!

Entfernen vom (temporären) Fixieren der Bezeichnung des Namensraumes des Projektes (auf den bisherigen Stand), da nun alle Verweise berichtigt sein sollten: ee /usr/local/www/mediawiki/LocalSettings.php

$wgMetaNamespace = "StuRa_HTW_Dresden";
$wgMetaNamespaceTalk = "StuRa_HTW_Dresden_Diskussion";

mögliche hilfreiche Links

mediawikiwiki:Manual:NamespaceDupes.php

Einstellung der Zeitzone

Relativ unverständlich, aber MediaWiki scheint nicht die Uhrzeit vom System zu nehmen.

Festlegen der Zeitzone (der Instanz MediaWiki): ee /usr/local/www/mediawiki/LocalSettings.php

$wgLocaltimezone = 'Europe/Berlin';

Siehe auch

mediawikiwiki:Manual:$wgLocaltimezone

ImageMagick Support für Bilder Upload

$wgUseImageMagick = true;
$wgImageMagickConvertCommand = "/usr/local/bin/convert";
$wgHashedUploadDirectory = true;
# NEW (Generate thumbnails on EVERY client request, instead of generating and writing them to thumbs directory)
$wgThumbnailScriptPath = "{$wgScriptPath}/thumb.php";

XMLReader installiert

Für Spezial:Hochladen (special:upload) braucht es XMLReader (für) XmlTypeCheck.php. Es kam die Fehlermeldung

Fatal error: Class 'XMLReader' not found in /usr/local/www/mediawiki/includes/libs/XmlTypeCheck.php

.

Installieren von XMLReader für die verwendete Version von PHP: pkg install -y php56-xmlreader

Siehe auch

Server/Wiki
Server/Jail/SRS13/2015 (früherer Betrieb eines so bezeichneten Servers (bis im Laufe vom Jahr 2015))
Server/MediaWiki

@@ Zeile 9: / Zeile 9: @@
 *** https://wiki.stura.htw-dresden.de
 *** (http://wiki.stura.htw-dresden.de)
+== MediaWiki ==
+=== Anpassungen MediaWiki ===
+Alle Anpassungen, die über die Oberfläche vorgenommen wurden sind [[Server/Wiki#Anpassungen MediaWiki]] zu entnehmen.
+===== Logo angepasst =====
+: https://www.mediawiki.org/wiki/Manual:FAQ#How_do_I_change_the_logo.3F
+:: https://www.mediawiki.org/wiki/Manual:FAQ/de#Wie_kann_ich_das_Logo_.C3.A4ndern.3F
+* Grundlage war http://www.stura.htw-dresden.de/stura/ref/oea/cd/cd/logo/logo/image_thumb
+* ergänzende manuelle Anpassung zu http://www.stura.htw-dresden.de/stura/ref/oea/cd/cd/logo/customization/mediawiki_logo
+----
+: <code>cd /usr/local/www/mediawiki/skins/common/images/</code>
+: <code>fetch <nowiki>http://www.stura.htw-dresden.de/stura/ref/oea/cd/cd/logo/customization/mediawiki-logo</nowiki></code>
+: <code>mv mediawiki-logo logo.png</code>
+: <code>cd /usr/local/www/mediawiki/</code>
+: <code>ee LocalSettings.php</code>
+<pre></pre>
+<pre>
+$wgLogo                 = "$wgStylePath/common/images/logo.png";
+</pre>
+<pre></pre>
+===== favicon angepasst =====
+: https://www.mediawiki.org/wiki/Manual:FAQ#How_do_I_change_the_icon_in_the_browser.27s_address_line_.28favicon.29.3F
+----
+: <code>cd /usr/local/www/mediawiki/skins/common/images/</code>
+: <code>fetch <nowiki>http://www.stura.htw-dresden.de/stura/ref/oea/cd/cd/logo/customization/favicon/favicon-16-px</nowiki></code>
+: <code>mv favicon-16-px favicon.png</code>
+:; Alternativ kann auch die Wikipedia als Quelle dienen.
+:: <code>fetch <nowiki>https://upload.wikimedia.org/wikipedia/commons/thumb/5/5c/Glider-small.svg/16px-Glider-small.svg.png</nowiki></code>
+:: <code>mv 16px-Glider-small.svg.png favicon.png</code>
+: <code>cd /usr/local/www/mediawiki/</code>
+: <code>ee LocalSettings.php</code>
+<pre></pre>
+<pre>
+$wgFavicon              = "$wgStylePath/common/images/favicon.png";
+</pre>
+<pre></pre>
+===== Änderung des Namens der Seite ändern =====
+Bisher war der Name der Seite ''StuRa HTW Dresden''. Künftig soll die Seite ''Wiki StuRa HTW Dresden'' heißen.
+Das führt dazu, dass auch der Name des Namensraumes geändert wird. (Im Übrigen ist das nicht so, wenn die Bezeichnung des Namensraumes in der <code>LocalSettings.php</code> festgelegt ist. Das war bei uns nicht der Fall, was ja auch gut so ist.)
+<!--
+Der Namensraum für das Projekt ergab sich nach dem Namen des Projektes, also ''StuRa HTW Dresden''. Auf Seiten dieses Namensraumes gibt es einige Verweise. Diese müssten angepasst werden, wenn sie direkt <nowiki>[[</nowiki>StuRa HTW Dresden:Seite<nowiki>]]</nowiki> lauten.
+-->
+----
+; Änderung des Namens der Seite:
+: <code>ee /usr/local/www/mediawiki/LocalSettings.php</code>
+<pre></pre>
+<pre>
+#$wgSitename             = "StuRa HTW Dresden";
+$wgSitename             = "Wiki StuRa HTW Dresden";
+</pre>
+<pre></pre>
+; (temporäres) Fixieren der Bezeichnung des Namensraumes des Projektes (auf den bisherigen Stand):
+: <code>ee /usr/local/www/mediawiki/LocalSettings.php</code>
+<pre></pre>
+<pre>
+$wgMetaNamespace = "StuRa_HTW_Dresden";
+$wgMetaNamespaceTalk = "StuRa_HTW_Dresden_Diskussion";
+</pre>
+<pre></pre>
+----
+ noch zu erledigen
+* Ersetzen (Berichtigen) der Einträge (einzelne Seiten) im Wiki
+*: Ersetzen von ''<nowiki>[[StuRa HTW Dresden:</nowiki>'' durch ''<nowiki>[[{{ns:project}}:</nowiki>!
+; Entfernen vom (temporären) Fixieren der Bezeichnung des Namensraumes des Projektes (auf den bisherigen Stand), da nun alle Verweise berichtigt sein sollten:
+: <code>ee /usr/local/www/mediawiki/LocalSettings.php</code>
+<pre></pre>
+<pre>
+$wgMetaNamespace = "StuRa_HTW_Dresden";
+$wgMetaNamespaceTalk = "StuRa_HTW_Dresden_Diskussion";
+</pre>
+<pre></pre>
+----
+ mögliche hilfreiche Links
+* [[mediawikiwiki:Manual:NamespaceDupes.php]]
+===== Einstellung der Zeitzone =====
+Relativ unverständlich, aber MediaWiki scheint nicht die Uhrzeit vom System zu nehmen.
+; Festlegen der Zeitzone (der Instanz MediaWiki):
+: <code>ee /usr/local/www/mediawiki/LocalSettings.php</code>
+<pre></pre>
+<pre>
+$wgLocaltimezone = 'Europe/Berlin';
+</pre>
+<pre></pre>
+; Siehe auch:
+* [[mediawikiwiki:Manual:$wgLocaltimezone]]
+===== ImageMagick Support für Bilder Upload =====
+<pre>
+$wgUseImageMagick = true;
+$wgImageMagickConvertCommand = "/usr/local/bin/convert";
+$wgHashedUploadDirectory = true;
+# NEW (Generate thumbnails on EVERY client request, instead of generating and writing them to thumbs directory)
+$wgThumbnailScriptPath = "{$wgScriptPath}/thumb.php";
+</pre>
+===== XMLReader installiert =====
+Für [[Spezial:Hochladen]] ([[special:upload]]) braucht es ''XMLReader'' (für) <code>XmlTypeCheck.php</code>. Es kam die Fehlermeldung
+<pre>
+Fatal error: Class 'XMLReader' not found in /usr/local/www/mediawiki/includes/libs/XmlTypeCheck.php
+</pre>
+.
+; Installieren von XMLReader für die verwendete Version von PHP
+: <code>pkg install -y php56-xmlreader</code>
 == Siehe auch ==
+* [[Server/Wiki]]
 * [[Server/Jail/SRS13/2015]] (früherer Betrieb eines so bezeichneten Servers (bis im Laufe vom Jahr 2015))
+* [[Server/MediaWiki]]
 [[Kategorie:Server]]