6 999
contributi
Wiki script - Dump sorgenti delle guide: differenze tra le versioni
Wiki script - Dump sorgenti delle guide (visualizza wikitesto)
Versione delle 14:08, 30 giu 2013
, 30 giu 2013nessun oggetto della modifica
S3v (discussione | contributi) mNessun oggetto della modifica |
S3v (discussione | contributi) mNessun oggetto della modifica |
||
| Riga 56: | Riga 56: | ||
# Sostituisce "&lt;" con "<" nel file dump | # Sostituisce "&lt;" con "<" nel file dump | ||
sed -i 's/</</g' "$df" | sed -i 's/&lt;/</g' "$df" | ||
# Rimuove il file temporaneo | # Rimuove il file temporaneo | ||