2022-05-19 21:28:43 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
2023-08-18 09:48:04 +00:00
|
|
|
environment_variables=(
|
|
|
|
"HOME=${HOME}"
|
|
|
|
"PATH=${PATH}"
|
|
|
|
"SERENITY_STRIPPED_ENV=1"
|
|
|
|
"TERM=${TERM}"
|
|
|
|
"USER=${USER}"
|
|
|
|
)
|
|
|
|
|
|
|
|
# If any of the following optional variables are set, keep them.
|
|
|
|
keep_environment_variables=(
|
|
|
|
'EDITOR'
|
|
|
|
'IN_SERENITY_PORT_DEV'
|
|
|
|
'MAKEJOBS'
|
|
|
|
'SERENITY_ARCH'
|
|
|
|
'SERENITY_TOOLCHAIN'
|
|
|
|
'VISUAL'
|
|
|
|
)
|
|
|
|
|
|
|
|
for environment_variable_name in "${keep_environment_variables[@]}"; do
|
|
|
|
if [ -v "${environment_variable_name}" ]; then
|
|
|
|
environment_variables+=("${environment_variable_name}=${!environment_variable_name}")
|
|
|
|
fi
|
|
|
|
done
|
|
|
|
|
|
|
|
exec env -i "${environment_variables[@]}" "${@}"
|