title: How to get Kerberos default principal
body: <p>if I type <code>kinit</code> into my terminal:</p>
  
  <pre><code>kinit
  </code></pre>
  
  <p>...then I get the following Kerberos authentication prompt:</p>
  
  <pre><code>Password for JayFrizzle@ANT.STACKOVERFLOW.COM:
  </code></pre>
  
  <p>What I'm wondering is, is there a way to programatically get the <code>username@DOMAIN.COM</code> string via the shell (or python)?  <code>kinit</code> somehow knows who the default user is (in my case, JayFrizzle).  Is there a way I can get this information, either via calling Kerberos orfrom a preexisting file on my computer?</p>