wip: try cloning a specific branch

ourPLCC · Apr 22, 2024 · 1a17ac6 · 1a17ac6
1 parent c56a258
commit 1a17ac6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -36,7 +36,7 @@ tasks:
 
   - name: Install PLCC
     command: |
-        PLCC_GIT_COMMIT=reorg /bin/bash -c "$(\
+        PLCC_GIT_BRANCH=reorg /bin/bash -c "$(\
           \curl -fsSL https://github.com/ourPLCC/plcc/raw/reorg/installers/plcc/install.bash \
         )" >> ~/.bashrc
         exec bash
diff --git a/installers/plcc/install.bash b/installers/plcc/install.bash
@@ -3,7 +3,6 @@
 set -euo pipefail
 
 PLCC_HOME="${HOME}/.local/lib/plcc"
->&2 git clone https://github.com/ourPLCC/plcc.git "${PLCC_HOME}"
->&2 git -C "${PLCC_HOME}" checkout "${PLCC_GIT_COMMIT:-main}"
+git clone -b "${PLCC_GIT_BRANCH:-main}" https://github.com/ourPLCC/plcc.git "${PLCC_HOME}"
 echo "# Add the following line to the end of your .bashrc or .zshrc"
 "${PLCC_HOME}/installers/plcc/rchook.bash"