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
v5.0.0.tar.gz
sha256=04bea98a18ecc1020a9bdbc73ef112fd6e4bb334227fbeef69f4a9f7e7218afb
md5=8cb09f69fa976c87d27c5c406beed84c
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)"
>