git-clone-repos

#!/bin/bash

set -e

script_dir="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
repo_file="$script_dir/repos.txt"
repo_root_dir="$script_dir/../"

pushd "$repo_root_dir" > /dev/null

while read repo; do
    if [[ $repo == \#* ]]; then
        echo "Skipping line" $repo
    else
        if [ -d $repo ]; then
            echo "Directory $repo already exists"
        else
            if [[ $repo = freedom-e-sdk ]]; then
                git clone https://github.com/draperlaboratory/hope-$repo $repo
            else
                git clone --recurse-submodules https://github.com/draperlaboratory/hope-$repo $repo
            fi
        fi
    fi
done < $repo_file

popd > /dev/null