2023-05-06 02:24:23 +02:00
|
|
|
# Obtener el número de líneas de un fichero
|
|
|
|
|
|
2023-05-25 06:03:03 +02:00
|
|
|
function countl
|
2023-05-06 02:24:23 +02:00
|
|
|
{
|
|
|
|
|
lines=0
|
|
|
|
|
|
|
|
|
|
while IFS= read -r line || [[ -n $line ]]; do
|
|
|
|
|
# lines=$((lines+1)) is slower than ((lines=lines+1))
|
|
|
|
|
((lines=lines+1))
|
|
|
|
|
done < "$1"
|
|
|
|
|
|
|
|
|
|
printf '%s\n' "$lines"
|
|
|
|
|
}
|
