ref: 06ea44c895a5f97b7b9b65fce84dec2700f443fb
parent: fc90f7a666da0b1634797d8596e8fdd4bbeba956
author: Ori Bernstein <ori@eigenstate.org>
date: Tue Mar 10 05:35:06 EDT 2020
fix -T option for doctype We used to set $dev to -T, and leave the device type in the argument list. Now, we set it to -T$2, and shift it out of the list.
--- a/rc/bin/doctype
+++ b/rc/bin/doctype
@@ -13,7 +13,8 @@
eqn=neqn
prefer='prefer -n'
case -T
- dev=$1
+ dev=-T$2
+ shift
case -*
opt=$opt' $1'
}