Convert a base64 kirbi ticket file to a binary .kirbi file, then to a ccache file

k2c.sh

# This goes in ~/.bashrc or similar
function k2c() {
    base=$(basename "$1")
    k="${base%.*}.kirbi"
    c="${base%.*}.ccache"
    cat $1 | base64 -d > $k
    ticketConverter.py $k $c
    echo "Converted. Now run: export KRB5CCNAME=\$(realpath $c)"
}