diff options
Diffstat (limited to 'get-cicadas-deps.sh')
-rwxr-xr-x | get-cicadas-deps.sh | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/get-cicadas-deps.sh b/get-cicadas-deps.sh new file mode 100755 index 0000000..bea0ebe --- /dev/null +++ b/get-cicadas-deps.sh @@ -0,0 +1,24 @@ +LOCAL_PROJECTS=$1 + +cd $LOCAL_PROJECTS + +if [ ! -d argot ]; then + git clone https://cicadas.surf/cgit/colin/argot.git +else + cd argot && git checkout main && git pull origin main && cd ..; +fi + +if [ ! -d def ]; then + git clone https://cicadas.surf/cgit/colin/def.git +else + cd def && git checkout main && git pull origin main && cd ..; +fi + +if [ ! -d ~/quicklisp/local-projects/hypnotisml ]; then + git clone https://cicadas.surf/cgit/colin/hypnotisml.git +else + cd hypnotisml && git checkout main && git pull origin main && cd ..; +fi + + + |