Server/Wiki: Unterschied zwischen den Versionen

Aus Wiki StuRa HTW Dresden
Zur Navigation springen Zur Suche springen
Zeile 29: Zeile 29:


: <code>cd /usr/local/www/mediawiki/skins/common/images/</code>
: <code>cd /usr/local/www/mediawiki/skins/common/images/</code>
: <code>fetch <nowiki>https://upload.wikimedia.org/wikipedia/commons/thumb/5/5c/Glider-small.svg/16px-Glider-small.svg.png</nowiki></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 16px-Glider-small.svg.png favicon.png</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>cd /usr/local/www/mediawiki/</code>
: <code>ee LocalSettings.php</code>
: <code>ee LocalSettings.php</code>

Version vom 11. Mai 2015, 14:32 Uhr

MediaWiki

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

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
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

Siehe auch