WikEd: differenze tra le versioni
S3v (discussione | contributi) m (→Link esterni) |
S3v (discussione | contributi) (wikEd 0.9.143a) |
||
| Riga 22: | Riga 22: | ||
* Inserire i template [[Template:Box|Box]], [[Template:Stub|Stub]], [[Template:Warningbox|Warningbox]] e [[Template:Suggerimento|Suggerimento]] | * Inserire i template [[Template:Box|Box]], [[Template:Stub|Stub]], [[Template:Warningbox|Warningbox]] e [[Template:Suggerimento|Suggerimento]] | ||
Il tutto è stato testato con Iceweasel | 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.<br/> | ||
Il link della patch è il [http://forum.debianizzati.org/viewtopic.php?f=25&t=46154 seguente]. | Il link della patch è il [http://forum.debianizzati.org/viewtopic.php?f=25&t=46154 seguente]. | ||
=== Applicare e rimuovere la patch === | === Applicare e rimuovere la patch === | ||
Salvare la patch in un file (ad esempio <code> | Salvare la patch in un file (ad esempio <code>index.php.diff</code>), copiarla nella directory <code>./mozilla/firefox/qualcosa.default/gm_scripts/wikEd/</code> (per chi utilizza Iceweasel) e patchare il file <code>index.php</code> con il comando: | ||
<pre>$ patch < | <pre>$ patch < index.php.diff</pre> | ||
Se si vuole rimuovere la patch, utilizzare invece il comando: | Se si vuole rimuovere la patch, utilizzare invece il comando: | ||
<pre>$ patch -R < | <pre>$ patch -R < index.php.diff</pre> | ||
Prima di applicare la patch è consigliabile salvare il file ''index.php'' originale con: | |||
<pre> | |||
$ cp index.php index.php.originale | |||
</pre> | |||
== Link esterni == | == Link esterni == | ||
Versione delle 19:19, 24 ott 2014
 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
Salvare la patch in un file (ad esempio index.php.diff), copiarla 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
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 | |