mirror of
https://github.com/RGBCube/serenity
synced 2025-07-26 05:07:35 +00:00
Ports: Don't unset {HOME,USER,TERM,PATH}
These are required for the `dev` environment (or more precisely, `git`) to work.
This commit is contained in:
parent
169498f9db
commit
0e0db33a2a
1 changed files with 4 additions and 0 deletions
|
@ -1,6 +1,10 @@
|
|||
#!/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:-}" \
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue