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
02 Mar 2020
Sources
v7.0.0.tar.gz
md5=0b4a5754f63e8bb84fcd729a7b7d03e1
Dependencies
batteries
>= "2.6.0"
dune
>= "1.11"
Reverse Dependencies