WikEd: differenze tra le versioni

Da Guide@Debianizzati.Org.
Vai alla navigazione Vai alla ricerca
(0.9.119c)
(disabilitare gli aggiornamenti automatici)
Riga 29: Riga 29:
Se si vuole rimuovere la patch, utilizzare invece il comando:
Se si vuole rimuovere la patch, utilizzare invece il comando:
<pre>$ patch -R < 12529.user.js.diff</pre>
<pre>$ patch -R < 12529.user.js.diff</pre>
== Modifiche ==
=== Disabilitare gli aggiornamenti automatici dello script ===
Modificare lo script WikEd in questo modo:
if (typeof(wikEd.config.autoUpdate) == 'undefined') { wikEd.config.autoUpdate = '''false'''; }


{{Autori
{{Autori

Versione delle 11:53, 1 feb 2014

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 da questo indirizzo.
È 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 17.0 e WikEd 0.9.119c. 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 12529.user.js.diff), copiarla nella directory ./mozilla/firefox/qualcosa.default/gm_scripts/wikEd/ (per chi utilizza Iceweasel) e patchare il file 12529.user.js con il comando:

$ patch < 12529.user.js.diff

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

$ patch -R < 12529.user.js.diff

Modifiche

Disabilitare gli aggiornamenti automatici dello script

Modificare lo script WikEd in questo modo:

if (typeof(wikEd.config.autoUpdate) == 'undefined') { wikEd.config.autoUpdate = false; }




Guida scritta da: S3v 02:05, 12 gen 2013 (CET) Swirl-auth20.png Debianized 20%
Estesa da:
Verificata da:

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