Files
bare-operating-system/kernel/etc/bare-os/rc.profile.full
T
Raven Scott 4fa8c14079 When the host leaves these unset, the booter now sets
BARE_OS_SHELL_STREAMING=1, BARE_OS_SHELL_STREAMING_MULT=2,
BARE_OS_PIPELINE_MAX_BYTES (512 MiB), and BARE_OS_PIPELINE_MAX_LINES
(2M) so the high-throughput ~512 MiB burst profile does not require
pre-launch exports.

Align getconf Tier-1 statics with those bases; note legacy rc.profile
exports; refresh handbook, environment appendix, cookbook, and
bare-os-booter CHANGELOG.
2026-04-22 22:09:58 -04:00

6 lines
334 B
Plaintext

# Bare OS — optional "full" profile snippet (use with BARE_OS_BOOT_PROFILE=full).
# Pipeline streaming is already on by default in the stock booter; this line remains for older images.
# Enables bounded command substitution (see docs/reference/kernel-extensions.md).
export BARE_OS_SHELL_STREAMING=1
export BARE_OS_SHELL_CMDSUBST=1