a2nr
/
velxio
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

feat: add wokwi-boards to devcontainer post-create script

pull/74/head
Sipho Mokoena 2026-03-27 19:11:29 +02:00
parent 4f328c7e2f
commit 87b1a75df0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.devcontainer/post-create.sh
View File

@ -16,7 +16,7 @@ done
echo "==> Cloning wokwi-libs (shallow, faster than submodules)..."
# Only clone the 3 libs we actually use (avr8js, rp2040js, wokwi-elements)
# Shallow clone with --depth=1 is much faster than recursive submodule init
for lib in avr8js rp2040js wokwi-elements; do
for lib in avr8js rp2040js wokwi-elements wokwi-boards; do
if [ ! -d "wokwi-libs/$lib/.git" ]; then
rm -rf "wokwi-libs/$lib"
git clone --depth=1 "https://github.com/wokwi/$lib.git" "wokwi-libs/$lib"