package get_line
Robustly select lines from file; can replace the head and tail shell commands and do even more
Install
Dune Dependency
Authors
Maintainers
Sources
v7.0.0.tar.gz
sha256=40ae12a8abce20d7d33ab0ba539658787f0da4d90e6f6114d11dc714aa5c816d
md5=0b4a5754f63e8bb84fcd729a7b7d03e1
README.md.html
get_line
output a single line or a range of lines from a given file
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>