WikEd: differenze tra le versioni

Da Guide@Debianizzati.Org.
Vai alla navigazione Vai alla ricerca
mNessun oggetto della modifica
mNessun oggetto della modifica
 
(20 versioni intermedie di un altro utente non mostrate)
Riga 1: Riga 1:
{{Versioni compatibili}}
{{Versioni compatibili|Squeeze|Wheezy|Jessie}}
== Introduzione ==
== Introduzione ==
[http://en.wikipedia.org/wiki/User:Cacycle/wikEd WikEd] è uno [[script]] per Greasemonkey scritto in Javascript.<br/>
[http://en.wikipedia.org/wiki/User:Cacycle/wikEd WikEd] è uno [[script]] per Greasemonkey scritto in Javascript.<br/>
Riga 7: Riga 7:
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.<br/>
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.<br/>
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.
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.
Consiglio infine di disabilitare l'highlightning della sintassi (quartultimo bottone a destra) in modo da rendere il tutto molto più leggibile. Questo evita anche di perdere la vista nel caso di evidenziazione delle parole (è un malfunzionamento che dovrebbe essere stato risolto con le versioni successive di Iceweasel/Firefox).


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


== Installazione ==
== Installazione ==
Bisogna installare innanzitutto [http://www.greasespot.net/ Greasemonkey] e poi (dopo aver riavviato il browser) installare WikEd da [http://userscripts.org/scripts/show/12529 questo indirizzo].
Bisogna installare innanzitutto [http://www.greasespot.net/ Greasemonkey], presente anche nei [[repository]] con il nome di ''xul-ext-greasemonkey'', e poi (dopo aver riavviato il browser) installare WikEd cliccando  qui<sup>[[#link esterni|[1]]]</sup>.<br/>
Vedere anche questa pagina<sup>[[#Link esterni|[2]]]</sup>.<br/>
È tutto.
È tutto.


== Patch per il Wiki di Debianizzati ==
== Patch per il Wiki di Debianizzati ==
Qui di seguito vi è una [[patch]] con la quale sono stati aggiunti aggiunti dei bottoni che permettono di:
Qui di seguito vi è il link a una [[patch]] con la quale sono stati aggiunti aggiunti dei bottoni che permettono di:
* Inserire i tag <nowiki><pre></nowiki> e <nowiki><code></nowiki>
* Inserire i tag 'pre', 'code' e 'br/'
* Inserire il template [[Template:Versioni compatibili|Versioni compatibili]]
* Inserire il template [[Template:Versioni compatibili|Versioni compatibili]]
* Inserire il template [[Template:Autori|Autori]]
* Inserire il template [[Template:Autori|Autori]]
* 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]]
inoltre è stato cambiato l'orrido blu scuro di evidenziazione con un celeste chiaro.


Il tutto è stato testato con Iceweasel 10.0.11 e WikEd 0.9.109a. La versione di WikEd è possibile leggerla lasciando il mouse sopra l'icona in alto a destra.<br/>
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.<br/>
Il link della patch è il [http://forum.debianizzati.org/viewtopic.php?f=25&t=46154 seguente].
 
=== Applicare e rimuovere la patch ===
Copiare il file contenente la patch (<code>index.php.diff</code>) 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 < index.php.diff</pre>
Se si vuole rimuovere la patch, utilizzare invece il comando:
<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>


Il comando "patch" è disponibile dopo aver scaricato l'omonimo [[pacchetto]]:
<pre>
<pre>
--- 12529.user.js    2013-01-12 00:34:17.754334231 +0100
# apt-get install patch
+++ 12529.user.js.new    2013-01-12 01:08:59.010439727 +0100
</pre>
@@ -90,6 +90,24 @@
            'wikEdBold title':            'Bold text',
            'wikEdItalic alt':            'Italic',
            'wikEdItalic title':          'Italic text',
+//Bottoni Wiki Debianizzati     
+            'wikEdPre title':              'Pre',
+            'wikEdPre alt':                'Pre',
+            'wikEdCode title':            'Code',
+            'wikEdCode alt':              'Code',
+            'wikEdNote title':            'Template Box',
+            'wikEdNote alt':              'Template Box',
+            'wikEdTip title':              'Template Suggerimento',
+            'wikEdTip alt':                'Template Suggerimento',
+            'wikEdWarn title':            'Template WarningBox',
+            'wikEdWarn alt':              'Template WarningBox',
+            'wikEdStub title':            'Template Stub',
+            'wikEdStub alt':              'Template Stub',
+            'wikEdAutori title':          'Template Autori',
+            'wikEdAutori alt':            'Template Autori',
+            'wikEdComp title':            'Versioni compatibili',
+            'wikEdComp alt':              'Versioni compatibili',
+//Fine Bottoni Wiki Debianizzati
            'wikEdUnderline alt':          'Underline',
            'wikEdUnderline title':        'Underline text',
            'wikEdStrikethrough alt':      'Strikethrough',
@@ -471,6 +489,16 @@
            'webLink':            '1/16/WikEd_weblink.png',
            'wikEdDiff':          'c/c6/WikEdDiff.png',
            'wikify':              '9/9f/WikEd_wikify.png',
+//Immagini bottoni Wiki Debianizzati
+            'Autori':              'd/de/Group.png',
+            'Pre':                'c/c5/WikEd_dummy.png',
+            'Code':                'c/c5/WikEd_dummy.png',
+            'Compatibili':        'c/c9/Tux_icon.png',
+            'Warning':            '1/1f/Red_vovinam_16x16.png',
+            'Note':                '4/41/Blue_vovinam_16x16.png',
+            'Tip':                '0/00/Yellow_vovinam_16x16.png',
+            'Stub':                'f/f9/Edit_uni.jpg',
+//Fine immagini bottoni Wiki Debianizzati
            'wikiLink':            '2/21/WikEd_wikilink.png'
        });
    };
@@ -488,9 +516,10 @@
            '.wikEdFrameBodyPlain': 'height: auto; min-height: 100%; width: auto; background: transparent; margin: 0; padding: 0; padding-left: 0.25em; overflow: auto; font-family: monospace;',
            '.wikEdFrameBodySyntax': 'height: auto; min-height: 100%; width: auto; background: transparent; margin: 0; padding: 0; padding-left: 0.25em; overflow: auto; font-family: monospace; text-shadow: white -1px -1px 0, white -1px 0 0, white -1px 1px 0, white 0 -1px 0, white 0 1px 0, white 1px -1px 0, white 1px 0 0, white 1px 1px 0;',
-            '::selection':          'text-shadow: none; color: #fff; background: #006;',
-            '::-moz-selection':      'text-shadow: none; color: #fff; background: #006;',
-            '::-webkit-selection':  'text-shadow: none; color: #fff; background: #006;',
+// Selezione azzurra Wiki Debianizzati
+            '::selection':          'text-shadow: none; color: #fff; background: #418bd4;',
+            '::-moz-selection':      'text-shadow: none; color: #fff; background: #418bd4;',
+            '::-webkit-selection':  'text-shadow: none; color: #fff; background: #418bd4;',
            '.wikEdFrameBodyNewbie': 'height: auto; min-height: 100%; width: auto; background: transparent; margin: 0; padding: 0; padding-left: 0.25em; overflow: auto; font-family: monospace;',
            // reselection / scroll to selection
@@ -978,6 +1007,17 @@
            78: ['wikEdDiff',            'wikEdButtonUnchecked', wikEd.config.text['wikEdDiff title'],            wikEd.config.image['wikEdDiff'],          '16', '16', wikEd.config.text['wikEdDiff alt'],            'wikEd.Button(obj, objId, true);' ],
            74: ['wikEdScrollToEdit4',    'wikEdButtonSolo',      wikEd.config.text['wikEdScrollToEdit4 title'],    wikEd.config.image['scrollToEditDown'],    '16', '16', wikEd.config.text['wikEdScrollToEdit4 alt'],    'wikEd.Button(obj, objId);' ],
+            // Bottoni Debianizzati
+            100: ['wikEdCode',        'wikEdButton',          wikEd.config.text['wikEdCode title'],        wikEd.config.image['Code'],          '16', '16', wikEd.config.text['wikEdCode alt'],        'wikEd.EditButton(obj, objId);' ],
+            101: ['wikEdPre',        'wikEdButton',          wikEd.config.text['wikEdPre title'],        wikEd.config.image['Pre'],          '16', '16', wikEd.config.text['wikEdPre alt'],        'wikEd.EditButton(obj, objId);' ],
+            102: ['wikEdAutori',        'wikEdButton',          wikEd.config.text['wikEdAutori title'],        wikEd.config.image['Autori'],          '16', '16', wikEd.config.text['wikEdAutori alt'],        'wikEd.EditButton(obj, objId);' ],
+            103: ['wikEdComp',        'wikEdButton',          wikEd.config.text['wikEdComp title'],        wikEd.config.image['Compatibili'],          '16', '16', wikEd.config.text['wikEdComp alt'],        'wikEd.EditButton(obj, objId);' ],
+            104: ['wikEdNote',        'wikEdButton',          wikEd.config.text['wikEdNote title'],        wikEd.config.image['Note'],          '16', '16', wikEd.config.text['wikEdNote alt'],        'wikEd.EditButton(obj, objId);' ],
+            105: ['wikEdTip',        'wikEdButton',          wikEd.config.text['wikEdTip title'],        wikEd.config.image['Tip'],          '16', '16', wikEd.config.text['wikEdTip alt'],        'wikEd.EditButton(obj, objId);' ],
+            106: ['wikEdWarn',        'wikEdButton',          wikEd.config.text['wikEdWarn title'],        wikEd.config.image['Warning'],          '16', '16', wikEd.config.text['wikEdComp alt'],        'wikEd.EditButton(obj, objId);' ],
+            107: ['wikEdStub',        'wikEdButton',          wikEd.config.text['wikEdStub title'],        wikEd.config.image['Stub'],          '16', '16', wikEd.config.text['wikEdStub alt'],        'wikEd.EditButton(obj, objId);' ],
+// Fine Bottoni Debianizzati
+
            // dummy (empty placeholder)
            76: ['wikEdDummy',            'wikEdButtonDummy',    '',                                              wikEd.config.image['dummy'],              '16', '16', '',                                            '' ],
@@ -1010,7 +1050,8 @@
        wikEd.InitObject(wikEd.config.buttonBar, {
            'format':    ['wikEdButtonBarFormat',    'wikEdButtonBarFormat',    'wikEdButtonsFormat',    'wikEdButtonsFormat',    44, wikEd.config.text['wikEdGripFormat title'],  [1,2,3,4,5,6,7,8,9,10,12,13,14,'br',15,16,17,19,20,21,22,23,24,11,80,25,76] ],
            'textify':  ['wikEdButtonBarTextify',  'wikEdButtonBarTextify',  'wikEdButtonsTextify',  'wikEdButtonsTextify',  44, wikEd.config.text['wikEdGripTextify title'], [26,'br',27] ],
-            'custom1':  ['wikEdButtonBarCustom1',  'wikEdButtonBarCustom1',  'wikEdButtonsCustom1',  'wikEdButtonsCustom1',  44, wikEd.config.text['wikEdGripCustom1 title'], [ ] ],
+// Barra personalizzata bottoni Debianizzati
+            'custom1':  ['wikEdButtonBarCustom1',  'wikEdButtonBarCustom1',  'wikEdButtonsCustom1',  'wikEdButtonsCustom1',  44, wikEd.config.text['wikEdGripCustom1 title'], [100,102,104,105,'br',101,103,106,107] ],
            'find':      ['wikEdButtonBarFind',      'wikEdButtonBarFind',      'wikEdButtonsFind',      'wikEdButtonsFind',      44, wikEd.config.text['wikEdGripFind title'],    [39,40,'find',41,76,43,44,'br',46,47,'replace',48,49,50,51] ],
            'fix':      ['wikEdButtonBarFix',      'wikEdButtonBarFix',      'wikEdButtonsFix',      'wikEdButtonsFix',      44, wikEd.config.text['wikEdGripFix title'],    [52,53,54,55,56,81,'br',58,59,60,61,62,57] ],
            'custom2':  ['wikEdButtonBarCustom2',  'wikEdButtonBarCustom2',  'wikEdButtonsCustom2',  'wikEdButtonsCustom2',  44, wikEd.config.text['wikEdGripCustom2 title'], [ ] ],
@@ -5566,6 +5607,14 @@
        // basic wiki character formatting: selection / focusWord / cursor
        case 'wikEdBold':
        case 'wikEdItalic':
+        case 'wikEdCode':
+        case 'wikEdPre':
+        case 'wikEdAutori':
+        case 'wikEdNote':
+        case 'wikEdWarn':
+        case 'wikEdStub':
+        case 'wikEdTip':
+        case 'wikEdComp':
        case 'wikEdUnderline':
        case 'wikEdStrikethrough':
        case 'wikEdNowiki':
@@ -5964,6 +6013,73 @@
                }
            }
            obj.changed.keepSel = true;
+            break;
+
+        // code
+        case 'wikEdCode':
+
+        // remove markup
+            if ( /&lt;code&gt;((.|\n)*?)&lt;\/code&gt;/i.test(obj.changed.plain) ) {
+                obj.changed.plain = obj.changed.plain.replace(/&lt;code&gt;((.|\n)*?)&lt;\/code&gt;/gi, '$1');
+            }
+
+            // add markup
+            else {
+                obj.changed.plain = '&lt;code&gt;' + obj.changed.plain + '&lt;\/code&gt;';
+                if (emptyOrSpaces == false) {
+                    obj.changed.plain = obj.changed.plain.replace(/^(&lt;code&gt;)(\s*)((.|\n)*?)(\s*)(&lt;\/code&gt;)$/, '$2$1$3$6$5');
+                }
+            }
+            obj.changed.keepSel = true;
+            break;
+
+        // autori
+        case 'wikEdAutori':
+                obj.changed.plain = '{{Autori\n|Autore=~~~~\n|Verificata_da=\n|Estesa_da=\n|Numero_revisori=0\n}}';
+            break;
+        // versioni compatibili
+        case 'wikEdComp':
+                obj.changed.plain = '{{Versioni compatibili}}\n';
+            break;
+
+        // suggerimento
+        case 'wikEdTip':
+                obj.changed.plain = '{{Suggerimento|}}\n';
+            break;
+        // Warninbox
+        case 'wikEdWarn':
+                obj.changed.plain = '{{Warningbox|}}\n';
+            break;
+        // Note
+        case 'wikEdNote':
+                obj.changed.plain = '{{Box||}}\n';
+            break;
+        // stub
+        case 'wikEdStub':
+                obj.changed.plain = '{{Stub}}\n';
+            break;
+        //  Template Autori
+        case 'wikEdAutori':
+                obj.changed.plain = '{{Autori\n|Autore=~~~~\n|Verificata_da=\n|Estesa_da=\n|Numero_revisori=0\n}}';
+            break;
+
+        // pre
+        case 'wikEdPre':
+
+        // remove markup
+            if ( /&lt;pre&gt;((.|\n)*?)&lt;\/pre&gt;/i.test(obj.changed.plain) ) {
+                obj.changed.plain = obj.changed.plain.replace(/&lt;pre&gt;((.|\n)*?)&lt;\/pre&gt;/gi, '$1');
+            }
+
+            // add markup
+            else {
+                obj.changed.plain = '&lt;pre&gt;' + obj.changed.plain + '&lt;\/pre&gt;';
+                if (emptyOrSpaces == false) {
+                    obj.changed.plain = obj.changed.plain.replace(/^(&lt;pre&gt;)(\s*)((.|\n)*?)(\s*)(&lt;\/pre&gt;)$/, '$2$1$3$6$5');
+                }
+            }
+            obj.changed.keepSel = true;
            break;
        // underline


=== 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:
<pre>
// enable auto update (Ajax)
if (wikEd.config.autoUpdate === undefined) { wikEd.config.autoUpdate = true; }
</pre>
</pre>
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:
[[Image:WikEd-add.png|link=|center]]


=== Applicare e rimuovere la patch ===
== Link esterni ==
Salvare la patch in un file (ad esempio <code>12529.user.js.diff</code>, copiarla nella directory <code>./mozilla/firefox/qualcosa.default/gm_scripts/wikEd/</code> (per chi utilizza Iceweasel) e patchare il file <code>12529.user.js</code> con il comando:
[1] [http://en.wikipedia.org/w/index.php?action=raw&ctype=text/javascript&title=User:Cacycle/wikEd.user.js Download diretto di WikEd]<br/>
<pre>$ patch < 12529.user.js.diff</pre>
[2] [http://en.wikipedia.org/wiki/User:Cacycle/wikEd_installation Note di installazione di WikEd]
Se si vuole rimuovere la patch, utilizzare invece il comando:
<pre>$ patch -R < 12529.user.js.diff</pre>


{{Autori
{{Autori

Versione attuale delle 15:11, 27 mag 2015

Edit-clear-history.png Attenzione. Questa guida è da considerarsi abbandonata, per via del tempo trascorso dall'ultima verifica.

Potrà essere resa obsoleta, previa segnalazione sul forum, se nessuno si propone per l'adozione.


Debian-swirl.png Versioni Compatibili

Debian 6 "squeeze"
Debian 7 "wheezy"
Debian 8 "jessie"

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:

WikEd-add.png

Link esterni

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




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