From 05bf9cc80de36b3af451a415747cc33ace03d88d Mon Sep 17 00:00:00 2001 From: John McCann Cunniff Jr Date: Thu, 7 Dec 2023 17:05:56 -0500 Subject: [PATCH] CHG clone study repo on pincer IDE start --- theia-pincer/install_extension.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/theia-pincer/install_extension.sh b/theia-pincer/install_extension.sh index c722ab9..5275670 100644 --- a/theia-pincer/install_extension.sh +++ b/theia-pincer/install_extension.sh @@ -1,3 +1,9 @@ #! /bin/bash curl https://pincer-server.fly.dev/version/latest/download -o /opt/code-server/pincer.vsix /usr/bin/code-server --user-data-dir=/opt/code-server --install-extension /opt/code-server/pincer.vsix + +if [ ! -d /home/anubis/2023_study ]; then + git clone https://github.com/GusSand/2023_study.git +fi + +exit 0