kinit: Mapping a local username to a Kerberos principal?

[Lars Kellogg-Stedman]

Is it possible to configure my local Kerberos environment such that when I
type 'kinit' with no additional parameters, it will use something other than
'<my_local_username>@<default_kerberos_domain>'?

My username on my local workstation differs from my organizational Kerberos
principal name.  I'm currently using an explicit 'kinit
myprincipal at CORP.COM', but this doesn't integrate well with system tools
that might otherwise enable me to automatically acquire a token on login and
take care of renewing it for me.

The documentation for both 'auth_local_names' and 'k5identity' seemed
promising, but neither appears to do what I want.

Thanks for your help,

-- Lars