pts membership not working?

[Nickolai Zeldovich]

> bash-2.04$ pts mem cohentl
> cohentl
> Can't get a ticket for realm CLARKSON.EDU: No ticket file (tf_util)
> membership: error PR - Permission denied. (267269)

The arla command-line tools don't grab the token out of the kernel,
but use your krb4 ticket; it looks like your cell uses kaserver, so
you should be able to use kalog to get a v4 ticket.

-- kolya