This repository has been archived on 2025-09-06. You can view files and clone it, but cannot push or open issues/pull-requests.

Dustin a67ed592df tools: Install tini ... During development, we leave a container running and `exec` into it to run multiple commands. To keep the container running, we need a PID 1 process that never terminates, which we achieved previously with Python. This technically works, but ultimately leaves a lot of zombie processes. If we use a "true" init process for PID 1, it will clean these up.		2024-12-14 09:45:50 -06:00
..
bootstrap.sh	Rework images into three layers	2024-12-08 10:59:28 -06:00
common.sh	ci: Persist build logs	2024-12-08 10:59:30 -06:00
crossdev.sh	crossdev: Build a cross toolchain for Rust	2024-12-14 09:41:35 -06:00
profile.sh	Rework images into three layers	2024-12-08 10:59:28 -06:00
sync.sh	Rework images into three layers	2024-12-08 10:59:28 -06:00
tools.sh	tools: Install tini	2024-12-14 09:45:50 -06:00