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




Abgerufen von „https://wiki.stura.htw-dresden.de/index.php?title=Server/Wiki&oldid=33776“