diff options
author | Josh Gao <jmgao@google.com> | 2018-03-29 20:34:08 +0000 |
---|---|---|
committer | android-build-merger <android-build-merger@google.com> | 2018-03-29 20:34:08 +0000 |
commit | 99c379cc0aece6fb451800d4d031e2c461feb623 (patch) | |
tree | 52a19902b96ccca6b4e0ce1d4f30c139c66d9bd2 | |
parent | 7b388008f5c46dc53a4a5b77e960cb584ccee0c7 (diff) | |
parent | 827d6b8caff5c6c06fa3688ebce010df747b67b9 (diff) | |
download | mksh-99c379cc0aece6fb451800d4d031e2c461feb623.tar.gz |
Merge "mkshrc: set +o nohup."
am: 827d6b8caf
Change-Id: Ib9ceff3b3561ae01c22f07e7e89335048eba9937
-rw-r--r-- | mkshrc | 2 | ||||
-rw-r--r-- | mkshrc_vendor | 2 |
2 files changed, 4 insertions, 0 deletions
@@ -6,6 +6,8 @@ # # Support: https://launchpad.net/mksh +set +o nohup + if (( USER_ID )); then PS1='$'; else PS1='#'; fi PS4='[$EPOCHREALTIME] '; PS1='${| local e=$? diff --git a/mkshrc_vendor b/mkshrc_vendor index 778cf09..d37de12 100644 --- a/mkshrc_vendor +++ b/mkshrc_vendor @@ -6,6 +6,8 @@ # # Support: https://launchpad.net/mksh +set +o nohup + if (( USER_ID )); then PS1='$'; else PS1='#'; fi PS4='[$EPOCHREALTIME] '; PS1='${| local e=$? |