+ if [ "${git:0:3}" != "no " ]; then
+ if [ "$1" = "checkout" -o "$1" = "co" ]; then
+ $git "$@"
+ set_title
+ elif [ "$1" = "files" ]; then
+ if [ -z "$2" ]; then
+ echo "Files in git commit HEAD"
+ $git show --pretty="" --name-only HEAD
+ else
+ echo "Files in git commit $2"
+ $git show --pretty="" --name-only $2
+ fi
+ else
+ $git "$@"
+ fi