diff options
author | colin <colin@cicadas.surf> | 2024-08-12 07:29:26 -0700 |
---|---|---|
committer | colin <colin@cicadas.surf> | 2024-08-12 07:29:26 -0700 |
commit | 877e4d8bf87bc03ebfed60e822a6ba1b7a6dbc01 (patch) | |
tree | dd0707d176f38a57022524bc3ff639e108479738 /get-cicadas-deps.sh | |
parent | 1ca58017958cac2028d692a2889e97daa794df07 (diff) |
Add: html-string and pretty-print control
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 + + + |