Debian-swirl.png Versioni Compatibili

Tutte le versioni supportate di Debian

Introduzione

WikEd è uno script per Greasemonkey scritto in Javascript.
La sua utilità risiede nel facilitare enormemente la scrittura delle guide attraverso una serie di toolbar e bottoni che si affiancano al classico editor. Le facilitazioni sono davvero tante e vanno dall'inserimento dei tag, alla sintassi delle liste, dei link, delle immagini, delle tabelle fino alla ricerca e sostituzione (anche attraverso espressioni regolari).

Personalmente ho trovato WikEd davvero comodo e facile da usare. All'inizio bisogna un po' abituarsi al suo comportamento soprattutto nell'inserimento dei tag; infatti questi si applicano alla parola o alle righe non solo se queste sono evidenziate, ma anche se il cursore non è separato da almeno uno spazio.
Quindi se volete evidenziare in grassetto una parola, basta che il cursore vi si trovi sopra, immediatamente accanto o che la parola sia evidenziata. E questo è comodo.
Se però volete inserire una parola in grassetto all'interno di una frase, il cursore nel punto di inserimento deve essere separato dalle parole adiacenti. Non è molto comodo ma dopo un po' ci si adegua.

Attualmente WikEd funziona per tutti i browser tranne IE e Opera.

Installazione

Bisogna installare innanzitutto Greasemonkey, presente anche nei repository con il nome di xul-ext-greasemonkey, e poi (dopo aver riavviato il browser) installare WikEd cliccando qui[1].
Vedere anche questa pagina[2].
È tutto.

Patch per il Wiki di Debianizzati

Qui di seguito vi è il link a una patch con la quale sono stati aggiunti aggiunti dei bottoni che permettono di:

Il tutto è stato testato con Iceweasel 31.1 e WikEd 0.9.144a. La versione di WikEd è possibile leggerla lasciando il mouse sopra l'icona in alto a destra.
Il link della patch è il seguente.

Applicare e rimuovere la patch

Copiare il file contenente la patch (index.php.diff) nella directory ./mozilla/firefox/qualcosa.default/gm_scripts/wikEd/ (per chi utilizza Iceweasel) e patchare il file index.php con il comando:

$ patch < index.php.diff

Se si vuole rimuovere la patch, utilizzare invece il comando:

$ patch -R < index.php.diff

Prima di applicare la patch è consigliabile salvare il file index.php originale con:

$ cp index.php index.php.originale

Il comando "patch" è disponibile dopo aver scaricato l'omonimo pacchetto:

# apt-get install patch

Disabilitare gli aggiornamenti automatici dello script

Quando viene rilasciata una nuova versione di WikEd, Greasemonkey mostra una finestra di aggiornamento per lo script. Per evitare di perdere le modifiche introdotte dalla patch (nel caso queste si applichino ad una versione precedente), è necessario rispondere "Annulla" ad ogni richiesta di aggiornamento oppure modificare leggermente il file "index.php" cercando la seguente riga:

// enable auto update (Ajax)
if (wikEd.config.autoUpdate === undefined) { wikEd.config.autoUpdate = true; }

e modificandola così:

 // enable auto update (Ajax)
if (wikEd.config.autoUpdate === undefined) { wikEd.config.autoUpdate = false; }

Aspetto

Questo sarà l'aspetto della nuova sezione relativa al Wiki all'interno della barra di WikEd:

 

L'immagine per il bottone "code" è ancora assente.

Link esterni

[1] Download diretto di WikEd
[2] Note di installazione di WikEd




Guida scritta da: S3v 02:05, 12 gen 2013 (CET)   Debianized 20%
Estesa da:
Verificata da:

Verificare ed estendere la guida | Cos'è una guida Debianized