mirror of
https://github.com/9fans/plan9port.git
synced 2025-01-12 11:10:07 +00:00
no more case problems
This commit is contained in:
parent
7fe619f766
commit
f65cd0d511
1 changed files with 23 additions and 26 deletions
49
bin/page
49
bin/page
|
@ -28,7 +28,7 @@ xfile()
|
||||||
then
|
then
|
||||||
echo 'troff intermediate output'
|
echo 'troff intermediate output'
|
||||||
else
|
else
|
||||||
9 file < "$1" | sed 's/stdin: //'
|
9 file < "$1" | sed 's/stdin: //' | tr A-Z a-z
|
||||||
fi
|
fi
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -43,18 +43,15 @@ main()
|
||||||
*troff*)
|
*troff*)
|
||||||
tr2post "$1" | psfonts | page
|
tr2post "$1" | psfonts | page
|
||||||
;;
|
;;
|
||||||
*PDF*)
|
*pdf*)
|
||||||
psv $1
|
psv $1
|
||||||
;;
|
;;
|
||||||
*PS*)
|
*ps*)
|
||||||
psv $1
|
psv $1
|
||||||
;;
|
;;
|
||||||
*postscript*)
|
*postscript*)
|
||||||
psv $1
|
psv $1
|
||||||
;;
|
;;
|
||||||
*PostScript*)
|
|
||||||
psv $1
|
|
||||||
;;
|
|
||||||
*)
|
*)
|
||||||
qiv "$@"
|
qiv "$@"
|
||||||
;;
|
;;
|
||||||
|
@ -73,15 +70,27 @@ case $# in
|
||||||
mv $tmp $tmp.tr
|
mv $tmp $tmp.tr
|
||||||
tmp=$tmp.tr
|
tmp=$tmp.tr
|
||||||
;;
|
;;
|
||||||
*PDF*)
|
*pdf*)
|
||||||
mv $tmp $tmp.pdf
|
mv $tmp $tmp.pdf
|
||||||
tmp=$tmp.pdf
|
tmp=$tmp.pdf
|
||||||
;;
|
;;
|
||||||
*PS*)
|
*gif*)
|
||||||
mv $tmp $tmp.ps
|
mv $tmp $tmp.gif
|
||||||
tmp=$tmp.ps
|
tmp=$tmp.gif
|
||||||
;;
|
;;
|
||||||
*PostScript*)
|
*jpg*)
|
||||||
|
mv $tmp $tmp.jpg
|
||||||
|
tmp=$tmp.jpg
|
||||||
|
;;
|
||||||
|
*jpeg*)
|
||||||
|
mv $tmp $tmp.jpg
|
||||||
|
tmp=$tmp.jpg
|
||||||
|
;;
|
||||||
|
*png*)
|
||||||
|
mv $tmp $tmp.png
|
||||||
|
tmp=$tmp.png
|
||||||
|
;;
|
||||||
|
*postscript*)
|
||||||
mv $tmp $tmp.ps
|
mv $tmp $tmp.ps
|
||||||
tmp=$tmp.ps
|
tmp=$tmp.ps
|
||||||
;;
|
;;
|
||||||
|
@ -89,21 +98,9 @@ case $# in
|
||||||
mv $tmp $tmp.ps
|
mv $tmp $tmp.ps
|
||||||
tmp=$tmp.ps
|
tmp=$tmp.ps
|
||||||
;;
|
;;
|
||||||
*GIF*)
|
*ps*)
|
||||||
mv $tmp $tmp.gif
|
mv $tmp $tmp.ps
|
||||||
tmp=$tmp.gif
|
tmp=$tmp.ps
|
||||||
;;
|
|
||||||
*JPG*)
|
|
||||||
mv $tmp $tmp.jpg
|
|
||||||
tmp=$tmp.jpg
|
|
||||||
;;
|
|
||||||
*JPEG*)
|
|
||||||
mv $tmp $tmp.jpg
|
|
||||||
tmp=$tmp.jpg
|
|
||||||
;;
|
|
||||||
*PNG*)
|
|
||||||
mv $tmp $tmp.png
|
|
||||||
tmp=$tmp.png
|
|
||||||
;;
|
;;
|
||||||
*)
|
*)
|
||||||
echo 1>&2 page: unrecognized file type on standard input: $type
|
echo 1>&2 page: unrecognized file type on standard input: $type
|
||||||
|
|
Loading…
Reference in a new issue