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 10:55, 14 apr 2015
, 14 apr 2015nessun oggetto della modifica
S3v (discussione | contributi) mNessun oggetto della modifica |
S3v (discussione | contributi) Nessun oggetto della modifica |
||
| Riga 116: | Riga 116: | ||
#numero righe del file | #numero righe del file | ||
local numerolinee=`cat $file | wc -l` | local numerolinee=`cat $file | wc -l` | ||
# Ultima conferma prima di partire con il download | |||
echo -n "Avviare il download di "$numerolinee" guide [S/n]? " | |||
read risp | |||
if [ "$risp" != "S" ] && [ "$risp" != "s" ] && [ "$risp" != "" ]; then | |||
exit 1 | |||
fi | |||
local count=1 | local count=1 | ||