mirror of
https://github.com/openziti/ziti.git
synced 2026-10-12 15:28:05 +00:00
Kenneth Bingham
22 lines
829 B
Bash
22 lines
829 B
Bash
# this script addresses the problem of /etc/profile not being sourced
|
|
# because ziggy's BASH shell is not a "login shell." /etc/profile is
|
|
# intended to be sourced only once by the first shell, but it never runs
|
|
# automatically upon login because the first shell isn't invoked as a login
|
|
# shell. .bashrc runs for all interactive shells, so we can use it to
|
|
# replace the current shell process with a login shell.
|
|
|
|
set -euo pipefail
|
|
USER="${USER:-$( id -u )}"
|
|
SHELL="${SHELL:-$( getent passwd "${USER}" | cut -d : -f 7 )}"
|
|
if [ -z "${SHELL}" ] ; then
|
|
echo 1>&2 "${0}: can't set SHELL; giving up"
|
|
exit 1
|
|
fi
|
|
HOME="${HOME:-$( getent passwd "${USER}" | cut -d : -f 6 )}"
|
|
if [ -z "${HOME}" ] ; then
|
|
echo 1>&2 "${0}: can't set HOME; giving up"
|
|
exit 1
|
|
fi
|
|
cd "${HOME}"
|
|
SHELL="${SHELL}" exec -a "-${SHELL##*/}" "${SHELL}"
|