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

Vai alla navigazione Vai alla ricerca
m
nessun oggetto della modifica
mNessun oggetto della modifica
mNessun oggetto della modifica
Riga 115: Riga 115:


#numero righe del file
#numero righe del file
local numerolinee=`wc -l $file`
local numerolinee=`cat $file | wc -l`


local count=1
local count=1
6 999

contributi

Menu di navigazione