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