Skip to content

Instantly share code, notes, and snippets.

@HannesGitH
Last active April 16, 2021 12:08
Show Gist options
  • Save HannesGitH/bf70790accef0773821fd6b83b335292 to your computer and use it in GitHub Desktop.
Save HannesGitH/bf70790accef0773821fd6b83b335292 to your computer and use it in GitHub Desktop.
#!/bin/bash
#this should be the directory where all the extensions are installed
EXT="$HOME/.local/share/code-server/extensions"
cd /tmp
ls $EXT | awk -F- '/latex-workshop/ {print $NF}' | while read VER; do
echo $VER
DIR="$EXT/james-yu.latex-workshop-$VER/"
curl -fOL https://james-yu.gallery.vsassets.io/_apis/public/gallery/publisher/james-yu/extension/latex-workshop/$VER/assetbyname/Microsoft.VisualStudio.Services.VSIXPackage
unzip /tmp/Microsoft.VisualStudio.Services.VSIXPackage 'extension/out/*'
mv /tmp/extension/out $DIR/out
done
@HannesGitH
Copy link
Author

HannesGitH commented Feb 19, 2021

you might need to change the EXT variable to fit your install

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment