Installare e configurare MediaWiki: differenze tra le versioni

Da Guide@Debianizzati.Org.
Vai alla navigazione Vai alla ricerca
m (sistemati link interni)
(modificato paragrafo Modificare l'installazione di Mediawiki - inserita introduzione generale)
Riga 43: Riga 43:
</pre>
</pre>
==Modificare l'installazione di MediaWiki==
==Modificare l'installazione di MediaWiki==
Il comportamento e l'aspetto di Mediawiki vengono personalizzati dall'amministratore attraverso il file  <code>/etc/mediawiki/LocalSettings.php</code>.<br/>
Questo file fornisce le impostazioni di configurazione locale di Mediawiki e viene generato automaticamente dallo script di configurazione lanciato subito dopo l'installazione (secondo la procedura descritta al paragrafo [[#Seconda parte: installazione via web|Installazione via web]]): <code>LocalSettings.php</code> contiene dunque le preferenze di configurazione specificate dall'utente allo script di configurazione.<br/>
Tutte le altre opzioni di configurazione, invece, mantengono i valori di default contenuti nel file <code>/usr/share/mediawiki/includes/DefaultSettings.php</code> che '''non deve essere mai modificato direttamente''': se la variabile che si desidera modificare non si trova nel file <code>LocaleSettings.php</code> basterà copiare la riga relativa alla variabile stessa dal file <code>DefaultSettings.php</code> e inserirla in <code>LocalSettings.php</code> e di qui modificarne il valore.
Le opzioni di configurazione, infatti, sono espresse sotto forma di variabili PHP: in genere si presentano così
<pre> $nome_variabile = true;</pre>
Dove, ovviamente, i valori che la variabile può assumere sono <code>true</code> (nel caso in cui venga abilitata l'opzione corrispondente) o <code>false</code> (in caso contrario).
{{Box|Nota:|il manuale di Mediawiki avvisa che nel vostro file <code>LocalSettings.php</code> potrebbe mancare il tag di chiusura del codice php, ovvero <code>?></code> alla fine del file, ma che questo è fatto di proposito per evitare che gli utenti inesperti inseriscano delle righe al di sotto del tag di chiusura e che il file funzionerà correttamente anche senza tale tag: non preoccupatevi, quindi se doveste notarne l'assenza!}}
[http://www.mediawiki.org/wiki/Manual:Configuration_settings Qui] troverete un elenco completo, con relative spiegazioni, delle variabili che possono essere configurate in <code>LocalSettings.php</code>.
Di seguito verranno illustrate alcune operazioni di configurazione basilari per il nostro wiki.
===Modificare il logo MediaWiki===
===Modificare il logo MediaWiki===
Per modificare il logo di default di MediaWiki si può agire in due modi:
Per modificare il logo di default di MediaWiki si può agire in due modi:

Versione delle 08:08, 11 apr 2010

Debian-swirl.png Versioni Compatibili

ERRORE: valore non valido ( Debian Etch 4.0
Debian Lenny 5.0
Debian Squeeze
Debian Sid )! Vedi qui.

Introduzione

MediaWiki è un software lato server basato sulla filosofia wiki, scritto in PHP e basato su un database relazionale MySQL o PostgreSQL.
MediaWiki è rilasciato sotto la licenza GNU GPL ed è usato dal progetto Wikipedia, dagli altri progetti della Wikimedia Foundation e da molti altri wiki tra i quali il wiki di debianizzati.org.

Prerequisiti

Per poter installare MediaWiki è necessario possedere un web server già configurato e completo di supporto PHP. Si veda ad esempio una di queste guide:

Prima parte: installazione del pacchetto

L'installazione segue la stessa facile strada di ogni pacchetto Debian:

# apt-get install mediawiki mediawiki-extensions mediawiki-math ocaml-core gcc

Configurazione

Innanzitutto occorre creare un symlink dalla directory di installazione verso la root di Apache:

ln -s /usr/share/mediawiki/ /var/www/mediawiki

Seconda parte: installazione via web

Digitiamo il seguente indirizzo nel nostro browser:

http://localhost/mediawiki/

e clicchiamo sul link: MediaWiki Setup.
Quindi scegliamo il link set up the wiki e configuriamo i campi secondo le nostre necessità. In particolare non dimentichiamo di compilare i campi delle sezioni:

  • Site config
  • Database config

con i valori della nostra rete.
In questa sezione è importante selezionare il box Use superuser account o l'installazione fallirà quasi sicuramente. Come valori inserite root e la password che corrisponde all'utente root di MySQL.
Ora spostatevi a fondo pagina e cliccate su Install MediaWiki.

File di configurazione

Una volta installato MediaWiki potete ancora modificarne la configurazione agendo sulle variabili del file LocalSettings.php. Ma prima di poterlo fare abbiamo bisogno di spostarlo dalla sua configurazione originale:

mv /var/lib/mediawiki/config/LocalSettings.php /etc/mediawiki/

Accesso a MediaWiki

A questo punto potete accedere al vostro nuovo MediaWiki puntando il browser all'indirizzo:

http://localhost/mediawiki/

Modificare l'installazione di MediaWiki

Il comportamento e l'aspetto di Mediawiki vengono personalizzati dall'amministratore attraverso il file /etc/mediawiki/LocalSettings.php.
Questo file fornisce le impostazioni di configurazione locale di Mediawiki e viene generato automaticamente dallo script di configurazione lanciato subito dopo l'installazione (secondo la procedura descritta al paragrafo Installazione via web): LocalSettings.php contiene dunque le preferenze di configurazione specificate dall'utente allo script di configurazione.
Tutte le altre opzioni di configurazione, invece, mantengono i valori di default contenuti nel file /usr/share/mediawiki/includes/DefaultSettings.php che non deve essere mai modificato direttamente: se la variabile che si desidera modificare non si trova nel file LocaleSettings.php basterà copiare la riga relativa alla variabile stessa dal file DefaultSettings.php e inserirla in LocalSettings.php e di qui modificarne il valore.

Le opzioni di configurazione, infatti, sono espresse sotto forma di variabili PHP: in genere si presentano così

 $nome_variabile = true;

Dove, ovviamente, i valori che la variabile può assumere sono true (nel caso in cui venga abilitata l'opzione corrispondente) o false (in caso contrario).

Info.png Nota:
il manuale di Mediawiki avvisa che nel vostro file LocalSettings.php potrebbe mancare il tag di chiusura del codice php, ovvero ?> alla fine del file, ma che questo è fatto di proposito per evitare che gli utenti inesperti inseriscano delle righe al di sotto del tag di chiusura e che il file funzionerà correttamente anche senza tale tag: non preoccupatevi, quindi se doveste notarne l'assenza!


Qui troverete un elenco completo, con relative spiegazioni, delle variabili che possono essere configurate in LocalSettings.php.

Di seguito verranno illustrate alcune operazioni di configurazione basilari per il nostro wiki.

Modificare il logo MediaWiki

Per modificare il logo di default di MediaWiki si può agire in due modi:

  1. Aprire il file /usr/share/mediawiki/includes/DefaultSettings.php e modificare la variabile $wgLogo facendola puntare al vostro nuovo logo, che avrete preventivamente collocato nella directory /usr/share/mediawiki/skins/common/images/
  2. Rinominare il file logo di default /usr/share/mediawiki/skins/common/images/wiki.png in wiki.png.original e creare poi un nuovo logo da salvare come /usr/share/mediawiki/skins/common/images/wiki.png

Creare una nuova skin per MediaWiki

Ancora da scrivere

Modificare il menu di navigazione laterale

Per modificare il menu di navigazione laterale di MediaWiki basta collegarsi, come utente amministratore, alla pagina del wiki:

/index.php/MediaWiki:Sidebar

Segue un esempio di come modificare la pagina:

* custom wiki
** mainpage|mainpage
** portal-url|portal
** currentevents-url|currentevents
** recentchanges-url|recentchanges
** randompage-url|randompage
** helppage|help
** sitesupport-url|sitesupport
** Speciale:Categorie|Collegamento interno alla pagina delle categorie
* nuovo menu
**Utente:Ferdy|Collegamento alla pagina utente Ferdy
**http://www.google.it|Collegamento a Google

Utilizzare MediaWiki

Il wiki di Debianizzati.org è basato su MediaWiki. Consigliamo pertanto di leggere attentamente le guide di Debianizzati.org per quanto riguarda:

Per l'amministrazione di MediaWiki è invce opportuno fare riferimento alla documentazione ufficiale:



--Ferdybassi 16:47, 24 feb 2010 (CET)
verificata da :MadameZou 18:10, 21 mar 2010 (CET)