Update .devcontainer/setup.sh

This commit is contained in:
2026-04-21 21:49:09 -04:00
parent 7f586e4bbf
commit f7d35f9b9c

View File

@@ -1,6 +1,6 @@
#!/bin/bash
# .devcontainer/setup.sh
set -euo pipefail
set -euxo pipefail
echo "=== Installing system deps ==="
sudo apt-get update -qq
@@ -22,6 +22,12 @@ pip install --quiet -r requirements.txt
echo "=== First Cargo build ==="
/usr/local/cargo/bin/cargo build --release 2>&1 | tail -5
echo "=== Installing Template ==="
cp paper/_extensions/
wget https://mirrors.ctan.org/macros/latex/contrib/llncs/splncs04.bst
wget https://mirrors.ctan.org/macros/latex/contrib/llncs/llncs.cls
cd ../..
echo "=== Quarto check ==="
# Quarto was installed in the build phase, so this will succeed immediately
quarto check