Ayuda con cat, grep, more o lo que sea (bash)

[Alvaro Herrera]

On Tue, Jun 01, 2004 at 05:49:02PM -0400, Daniel Serpell wrote:

> Es posible hacerlo más eficiente con "dd", pero se
> complica mucho la línea de comandos :-)

Hum, y como harias eso?  No veo como decirle a dd que separe por lineas.

Pero con awk es mucho mas facil:

LINE=200
awk "{ if (NR == $LINE) { print \$0; exit } else { print \$0 } }" archivo

-- 
Alvaro Herrera (<alvherre[a]dcc.uchile.cl>)
"Granting software the freedom to evolve guarantees only different results,
not better ones." (Zygo Blaxell)