On 07/01/20 13:18, Thomas Huth wrote: > I don't think we need a separate priority parameter here. But IMHO it's > really rather common practice to prioritize the last option. So while > it might be more "self-explanatory" to a CLI newbie if the first > occurrence got the highest priority, it might be rather confusing > instead for a CLI veteran...?
Prioritising the last certainly makes sense for a choose-one-only option, but I'm not sure it's the same for a choose-best option. After all it was -machine accel=kvm:tcg, not -machine accel=tcg:kvm... Paolo > What do others on the list here think about this?
