#!/usr/bin/env bash
# k5translate -- Map Kerberos principal names to local account names
k5userok -t -- "$@" | awk '{printf "%-40s %s\n", $1, $2}'
