Skip to content

Commit

Permalink
CHG fix spacing
Browse files Browse the repository at this point in the history
  • Loading branch information
wabscale committed Dec 7, 2023
1 parent 05bf9cc commit 3ff6285
Showing 1 changed file with 6 additions and 3 deletions.
9 changes: 6 additions & 3 deletions theia-pincer/install_extension.sh
Original file line number Diff line number Diff line change
@@ -1,9 +1,12 @@
#! /bin/bash
#!/bin/bash

set -xe

# Install latest pincer extension
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

# Download study base files if not already there
if [ ! -d /home/anubis/2023_study ]; then
git clone https://github.com/GusSand/2023_study.git
fi

exit 0

0 comments on commit 3ff6285

Please sign in to comment.