UnixJunkie / get_line

get line at index i from file f (a missing unix command); will crash early and loud if any problem on the contrary to awk

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

get_line

output a single line or a range of lines from a given file

About

get line at index i from file f (a missing unix command); will crash early and loud if any problem on the contrary to awk


Languages

Language:OCaml 85.4%Language:Shell 14.6%