#!/bin/sh GL_USER_FROM_KRB=$(echo $GSS_AUTH_KRB5_PRINC |cut -d @ -f 1) if [ "$GSS_AUTH_KRB5_PRINC" != "" ]; then GL_USER=$(echo $GSS_AUTH_KRB5_PRINC |cut -d @ -f 1) /usr/share/gitolite/bin/gitolite-shell $GL_USER else /usr/share/gitolite/bin/gitolite-shell fi