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
v4.0.0.tar.gz
sha256=a71bc3c11c94fff1934c1011ea7224747c8f2c8125311e2dce1908a6258261e0
md5=ed9dcadcd1ce570b2c83dc8cc40d2b03
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)"
>