#!/bin/bashDIR=$1DEPS_DIR=${DIR}/depsfunction clone_or_update(){REPO=$1echo"Checking repo ${REPO}"# strip only dir name from URLDIR=${REPO##*/}# strip the remaining '.git' suffixRAW_DIR=${DIR%.*}if[-d"${RAW_DIR}"];thenpushd${RAW_DIR} git pullpopd ..elsegit clone "$@"fi}if[!-d"${DEPS_DIR}"];thenmkdir${DIR}/depsficd${DIR}/depsclone_or_update https://gitlab.iscpif.fr/gargantext/clustering-louvain.gitclone_or_update https://github.com/np/servant-job.gitclone_or_update https://github.com/np/patches-mapclone_or_update https://gitlab.com/npouillard/patches-class.gitclone_or_update https://github.com/delanoe/haskell-opaleyeclone_or_update https://github.com/delanoe/hsparql -b next --single-branch