Don't redefine or unset PLATFORM in .bash_profile.

This commit is contained in:
Darren 'Tadgy' Austin 2023-10-01 22:37:46 +01:00
commit 9ed0f4e782

View file

@ -15,7 +15,7 @@ export VISUAL="$EDITOR"
hash lesspipe >/dev/null 2>&1 && eval "$(SHELL=/bin/sh lesspipe)" hash lesspipe >/dev/null 2>&1 && eval "$(SHELL=/bin/sh lesspipe)"
# Platform specific set up. # Platform specific set up.
PLATFORM="$(uname -s)" PLATFORM="${PLATFORM:-$(uname -s)}"
if [[ "$PLATFORM" = "Linux" ]]; then if [[ "$PLATFORM" = "Linux" ]]; then
# shellcheck disable=SC2155 # shellcheck disable=SC2155
export GPG_TTY="$(tty)" export GPG_TTY="$(tty)"
@ -45,7 +45,6 @@ elif [[ "$PLATFORM" = "Darwin" ]]; then
else else
printf "%s: %s\\n" "${BASH_SOURCE##*/}" "unsupported platform: $PLATFORM" >&2 printf "%s: %s\\n" "${BASH_SOURCE##*/}" "unsupported platform: $PLATFORM" >&2
fi fi
unset PLATFORM
# Add bin directories to PATH. # Add bin directories to PATH.
[[ -d "$HOME/.local/bin" ]] && export PATH="$HOME/.local/bin:$PATH" [[ -d "$HOME/.local/bin" ]] && export PATH="$HOME/.local/bin:$PATH"