Tim Edwards
05/06/2021, 8:52 PMignore shorted _device_
that will ignore dummy devices if all terminals are tied together---but often that's not the case. It is probably not difficult to work up some similar command to ignore devices by instance name-matching and then give all the dummy devices some unique prefix or suffix, but I haven't ever found occasion to need such a command option.