diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-09-26 11:45:31 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-26 11:45:31 -0400 |
| commit | bc3bb330b8543a31d4a1f488cb782b6ff3519d6a (patch) | |
| tree | ac5b77147eb72029d19dcb79b455fa83bf3bee97 /src/.gitignore | |
| parent | eeb084806be1cc7f579d61634fe7b9b3dd5b3df9 (diff) | |
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".
Diffstat (limited to 'src/.gitignore')
0 files changed, 0 insertions, 0 deletions