Wiki script - Dump sorgenti delle guide: differenze tra le versioni

Vai alla navigazione Vai alla ricerca
Nessun oggetto della modifica
Nessun oggetto della modifica
Riga 54: Riga 54:
  echo "øøøø" >> "$df"
  echo "øøøø" >> "$df"
done < "$file"
done < "$file"
# Sostituisce "&lt;" con "<" nel file dump
sed -i 's/&lt;/</g' "$df"


# Rimuove il file temporaneo
# Rimuove il file temporaneo