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.1.tar.gz
sha256=f1c6c9b83b95eceb300c6b78be7d5db4c21a94940532953b964e4f2b4821f44c
md5=a3713e755fe3d7e01bc35db0df971614
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)"
>