6 999
contributi
Wiki script - Dump sorgenti delle guide: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
Wiki script - Dump sorgenti delle guide (visualizza wikitesto)
Versione delle 13:52, 30 giu 2013
, 30 giu 2013nessun oggetto della modifica
S3v (discussione | contributi) Nessun oggetto della modifica |
S3v (discussione | contributi) Nessun oggetto della modifica |
||
| Riga 54: | Riga 54: | ||
echo "øøøø" >> "$df" | echo "øøøø" >> "$df" | ||
done < "$file" | done < "$file" | ||
# Sostituisce "<" con "<" nel file dump | |||
sed -i 's/</</g' "$df" | |||
# Rimuove il file temporaneo | # Rimuove il file temporaneo | ||