1 2 3 4 5 6 7 8 9 10
#!/bin/bash pushd $(dirname $(realpath $0)) > /dev/null LD_LIBRARY_PATH=$PWD file=texttv.json page=${1:- 100} ./main.scm $file $page