get_line

Robustly select lines from file; can replace the head and tail shell commands and do even more
README

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

Install
Published
09 Oct 2018
Sources
v4.0.1.tar.gz
md5=a3713e755fe3d7e01bc35db0df971614
Dependencies
batteries
>= "2.6.0"
dune
< "2.0"
Reverse Dependencies