6 999
contributi
Wiki script - Dump sorgenti delle guide: differenze tra le versioni
Wiki script - Dump sorgenti delle guide (visualizza wikitesto)
Versione delle 07:42, 19 lug 2014
, 19 lug 2014nessun oggetto della modifica
S3v (discussione | contributi) mNessun oggetto della modifica |
S3v (discussione | contributi) mNessun oggetto della modifica |
||
| Riga 115: | Riga 115: | ||
#numero righe del file | #numero righe del file | ||
local numerolinee=`wc -l | local numerolinee=`cat $file | wc -l` | ||
local count=1 | local count=1 | ||