Skip to content
Snippets Groups Projects
get_jpp.sh 231 B
#!/usr/bin/env bash
if [ ! -d 'jpp' ]; then
    echo "Cloning Jpp..."
    git clone --depth 1 https://$KM3NET_USERNAME:$KM3NET_PASSWORD@git.km3net.de/common/jpp.git
else
    echo "Fetching latest master"
    cd jpp
    git pull
fi