#!/usr/bin/env bash
if [ -x `which git` ] && [ -d .git ] || git rev-parse --git-dir > /dev/null 2>&1
then
export LANG=C
GIT_BRANCH=$(git branch -a | sed -ne '/^\* /s/^\* \(.*\)/\1/p')
GIT_HOST=$(hostname)
GIT_PATH=$(pwd)
echo "${GIT_HOST}:${GIT_PATH},${GIT_BRANCH}"
echo $(git log -1 --pretty='format:%H')
fi
¤ Dauer der Verarbeitung: 0.2 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|