[PATCH] if a nickname and id are used for the same machine, we won't complain about not finding the nickname anymore

--- snake-machine | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) diff --git a/snake-machine b/snake-machine index 1dcf680..f0eff8f 100755 --- a/snake-machine +++ b/snake-machine @@ -304,6 +304,9 @@ def main(argv): m = snake.machine.Machine(dict=d) if m.nickname in cargs or m.id in cargs: remove[m.id] = m + # Remove nicknames from cargs ... just quiets the check to + # ensure all cargs were processed + if m.nickname in cargs: cargs.remove(m.nickname) # report if a requested argument was not found for o in cargs: -- 1.5.4.5