igor-liferenko/dvitype
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
Based on https://w3-o.cs.hm.edu/users/ruckert/public_html/web2w/ Add this `dvitype' script to PATH: #!/bin/sh while true; do case $1 in -output-level) shift output_level=$1 ;; -page-start) shift page_start=$1 ;; -max-pages) shift max_pages=$1 ;; -dpi) shift resolution=`echo $1 | tr -d .`/1`echo $1 | cut -sd. -f2 | tr 0-9 0` ;; -magnification) shift new_mag=$1 ;; *) break ;; esac shift done /path/to/dvitype/dvitype ${1%.dvi}.dvi /dev/stdout "$output_level" "$page_start" "$max_pages" "$resolution" "$new_mag" Adjust path.ch
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published