ref: c0d4393d602506ae5331f4e108989750bbd69a40
parent: 2efcc154a4bcef08882a718cdd6e8972dd660719
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'
}
--
⑨