In das Verzeichnis wechseln, wo das Statstool kopiert werden soll(bei mir /home/thomas/workspace)
Statstool kopieren git clone [email protected]:IT112/statistiktool.git(mit Schreibrechten) bzw. git clone https://github.com/IT112/statistiktool.git(ohne Schreibrechte). Datei wird der Ordner "statistiktool" angelegt und alle benötigten Dateien in diesen kopiert