#!/bin/bash set -e mkdir -p Downloads pushd Downloads >/dev/null if [ -d projects ] then pushd projects >/dev/null git fetch -t popd >/dev/null else git clone https://wagnertech.de/git/projects fi