blob: bea0ebe089127b1c34438a4adcfa2519138adbe9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
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
|
