Installare e configurare MediaWiki: differenze tra le versioni
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
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:
- Installare un ambiente LAMP: Linux, Apache2, SSL, MySQL, PHP5
- Installare un ambiente LAMP: Linux, Apache, SSL, MySQL, PHP4
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).
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:
- 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/
- Rinominare il file logo di default
/usr/share/mediawiki/skins/common/images/wiki.png
inwiki.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
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:
- Amministrazione di MediaWiki (in inglese)
--Ferdybassi 16:47, 24 feb 2010 (CET)
verificata da :MadameZou 18:10, 21 mar 2010 (CET)