Common settings

Updated Aug 02, 2026

`RUST_ENTRYPOINT_PHASE`

Default: both

Allowed values:

  • system
  • home
  • both

Use this to select which bootstrap phase the rust-entrypoint wrapper runs. Use both for ordinary setup, system for a fresh system layer, and home for warm $HOME cache creation or refresh.

`UBUNTU_APT_MIRROR`

Default: http://mirror.math.princeton.edu/pub/ubuntu/

The system phase writes an Ubuntu source definition that points at this mirror. Set when a local, regional, private, or provider-managed Ubuntu mirror is required.

UBUNTU_APT_MIRROR=http://archive.ubuntu.com/ubuntu/ \
  RUST_ENTRYPOINT_PHASE=system \
  bash rust-entrypoint

`WITH_LETA_WORKSPACE_ADD`

Default: 1

get-github-tooling installs leta. By default, it also runs:

leta workspace add .

Set WITH_LETA_WORKSPACE_ADD=0 when creating a generic warm $HOME image or when the current directory should not be registered as a leta workspace.