WikEd: differenze tra le versioni

Vai alla navigazione Vai alla ricerca
m
mNessun oggetto della modifica
Riga 206: Riga 206:


=== Applicare e rimuovere la patch ===
=== Applicare e rimuovere la patch ===
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:
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:
<pre>$ patch < 12529.user.js.diff</pre>
<pre>$ patch < 12529.user.js.diff</pre>
Se si vuole rimuovere la patch, utilizzare invece il comando:
Se si vuole rimuovere la patch, utilizzare invece il comando:
6 999

contributi

Menu di navigazione