#!/usr/bin/sh
#+##############################################################################
#                                                                              #
# File: pagsh                                                                  #
#                                                                              #
# Wrapper to prefer pagsh.krb over pagsh if available                          #
#                                                                              #
#-##############################################################################

# @(#)pagsh	1.1 Tue Mar  2 18:30:35 CET 2004 Jaroslaw.Polok@cern.ch


path="/usr/bin/pagsh /usr/bin/pagsh.openafs /usr/bin/pagsh.krb"

for p in $path; do
 if [ -s "$p" ]; then
  exec $p ${1+"$@"}
 fi
done
echo "pagsh: command not found, tried $path"
exit 1

