Use the official project name of Bash

This commit is contained in:
pagedown
2022-02-23 14:21:13 +08:00
parent 741ef7f115
commit 3d7b3f7d72
2 changed files with 2 additions and 2 deletions

View File

@@ -41,7 +41,7 @@ _ksi_main() {
_ksi_safe_source "$KITTY_BASH_POSIX_ENV" && builtin export ENV="$KITTY_BASH_POSIX_ENV";
else
builtin set +o posix;
# See run_startup_files() in shell.c in the BASH source code
# See run_startup_files() in shell.c in the Bash source code
if builtin shopt -q login_shell; then
if [[ "$KITTY_BASH_INJECT" != *"no-profile"* ]]; then
_ksi_safe_source "$KITTY_BASH_ETC_LOCATION/profile";