# Obtener el número de líneas de un fichero

function count_lines
{
  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"
}