6 999
contributi
Wiki script - Dump sorgenti delle guide: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
m
Wiki script - Dump sorgenti delle guide (visualizza wikitesto)
Versione delle 10:52, 18 mar 2014
, 18 mar 2014nessun oggetto della modifica
S3v (discussione | contributi) mNessun oggetto della modifica |
S3v (discussione | contributi) mNessun oggetto della modifica |
||
| Riga 140: | Riga 140: | ||
# Sostituisce "&lt;" con "<" nel file di dump | # Sostituisce "&lt;" con "<" nel file di dump | ||
_lt () { | _lt () { | ||
sed -i 's/</</g' "$df" | sed -i 's/&lt;/</g' "$df" | ||
} | } | ||