WikEd

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:

• Inserire i tag 'pre', 'code' e 'br/'
• Inserire il template Versioni compatibili
• Inserire il template Autori
• Inserire i template Box, Stub, Warningbox e Suggerimento

Il tutto è stato testato con Iceweasel 31.1 e WikEd 0.9.143a. 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

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