in ssh.c, the option handling for 'k' should disable gss auth. There should be an explicit options.gss_authentication = 0; at ssh.c:362, mirroring the 'K' option handling just below that line.
I think the issue here is that -K and -k are not completely symmetrical: > -K Enables GSSAPI-based authentication and forwarding (delegation) > of GSSAPI credentials to the server. > > -k Disables forwarding (delegation) of GSSAPI credentials to the > server. I think the rationale is that delegation requires authentication to be useful, but disabling delegation without disabling authentication is a useful thing to do too.
My mistake. Current usage is fine.
close resolved bugs now that openssh-5.9 has been released