Clarify kinit principal selection

Describe the principal selection behavior of kinit when the principal
argument is absent.

ticket: 8403
target_version: 1.14-next
tags: pullup

diff --git a/doc/user/user_commands/kinit.rst b/doc/user/user_commands/kinit.rst
index 72721c3e327f46105b0f15ebee01980f47537a61..3f9d5340f1f0205c41b8fbc1bf7958cdd3db0035 100644 (file)
--- 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