aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/user/user_commands/kinit.rst5
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/user/user_commands/kinit.rst b/doc/user/user_commands/kinit.rst
index 72721c3..3f9d534 100644
--- a/doc/user/user_commands/kinit.rst
+++ b/doc/user/user_commands/kinit.rst
@@ -33,7 +33,10 @@ DESCRIPTION
-----------
kinit obtains and caches an initial ticket-granting ticket for
-*principal*.
+*principal*. If *principal* is absent, kinit chooses an appropriate
+principal name based on existing credential cache contents or the
+local username of the user invoking kinit. Some options modify the
+choice of principal name.
OPTIONS