Spaces:
Running
Running
Siyuan Hu
commited on
Commit
·
5951ca9
1
Parent(s):
937a7d5
build(space): remove packages.txt; install Tectonic via postBuild using install_tectonic.sh
Browse files- packages.txt +0 -1
- postBuild +12 -0
packages.txt
DELETED
|
@@ -1 +0,0 @@
|
|
| 1 |
-
tectonic
|
|
|
|
|
|
postBuild
ADDED
|
@@ -0,0 +1,12 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
#!/usr/bin/env bash
|
| 2 |
+
set -euo pipefail
|
| 3 |
+
|
| 4 |
+
echo "[postBuild] Ensuring wget present and installing Tectonic"
|
| 5 |
+
if ! command -v wget >/dev/null 2>&1; then
|
| 6 |
+
apt-get update
|
| 7 |
+
apt-get install -y wget
|
| 8 |
+
fi
|
| 9 |
+
|
| 10 |
+
bash install_tectonic.sh || echo "[postBuild] Tectonic install script returned non-zero; continuing."
|
| 11 |
+
|
| 12 |
+
echo "[postBuild] Done"
|