6 999
contributi
WikEd: differenze tra le versioni
m
→Applicare e rimuovere la patch
S3v (discussione | contributi) mNessun oggetto della modifica |
S3v (discussione | contributi) |
||
| 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: | ||