serenity/Ports/.strip_env.sh
Tim Schumacher 0e0db33a2a Ports: Don't unset {HOME,USER,TERM,PATH}
These are required for the `dev` environment (or more precisely, `git`)
to work.
2022-05-22 00:11:16 +01:00

13 lines
332 B
Bash
Executable file

#!/usr/bin/env bash
exec env -i SERENITY_STRIPPED_ENV=1 \
HOME="${HOME}" \
USER="${USER}" \
TERM="${TERM}" \
PATH="${PATH}" \
MAKEJOBS="${MAKEJOBS:-}" \
IN_SERENITY_PORT_DEV="${IN_SERENITY_PORT_DEV:-}" \
SERENITY_ARCH="${SERENITY_ARCH:-}" \
SERENITY_TOOLCHAIN="${SERENITY_TOOLCHAIN:-}" \
"${@}"