6 999
contributi
Wiki script - Dump sorgenti delle guide: differenze tra le versioni
Wiki script - Dump sorgenti delle guide (visualizza wikitesto)
Versione delle 10:50, 18 mar 2014
, 18 mar 2014nessun oggetto della modifica
S3v (discussione | contributi) Nessun oggetto della modifica |
S3v (discussione | contributi) mNessun oggetto della modifica |
||
| Riga 138: | Riga 138: | ||
# Sostituisce "<" con "<" nel file di dump | # Sostituisce "&lt;" con "<" nel file di dump | ||
_lt () { | _lt () { | ||
sed -i 's/</</g' "$df" | sed -i 's/</</g' "$df" | ||
| Riga 156: | Riga 156: | ||
[2] Download di una guida | [2] Download di una guida | ||
Numero: " | Numero: " | ||
read num | read num | ||
case $num in | case $num in | ||
1) totaldump ;; | 1) totaldump ;; | ||
2) insertguide ;; | 2) insertguide ;; | ||
esac | esac | ||
</pre> | </pre> | ||