machinectl: prefer user@ to --uid=user for shell (#4006)
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Mon, 26 Sep 2016 15:45:31 +0000 (11:45 -0400)
committerGitHub <noreply@github.com>
Mon, 26 Sep 2016 15:45:31 +0000 (11:45 -0400)
commitbc3bb330b8543a31d4a1f488cb782b6ff3519d6a
treeac5b77147eb72029d19dcb79b455fa83bf3bee97
parenteeb084806be1cc7f579d61634fe7b9b3dd5b3df9
machinectl: prefer user@ to --uid=user for shell (#4006)

It seems to me that the explicit positional argument should have higher
priority than "an option".
man/machinectl.xml
src/machine/machinectl.c