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
v6.0.0.tar.gz
sha256=6488e97df8e889b70e6fd2e8cb957fa7d2b7735cc15d0079b5bc4a83206042f4
md5=875e25f8314a6c377df1ff8c98ed9e6b
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)"
>