R: bash to awk

> Here's one way:
>
> lineNrs="1 7 10"
> awk -v lineNrString="$lineNrs" 'BEGIN {
>          split(lineNrString,i2LNs)
>          for (i in i2LNs) lineNrs[i2LNs[i]] = i
>      }
>      NR in lineNrs { print }'
>
> Regards,
>
> Ed.
>

It's ok!
Thank you very much,

davide