Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Topological_Spaces.thy Sprache: Shell

Original von: Coq^©

#!/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.15 Sekunden (vorverarbeitet) ¤

Kontakt Drucken
Kontakt sprechenden Kalenders
Eigene Datei ansehen

schauen Sie vor die Tür

Fenster

Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.