mkshrc: set +o nohup.
Turn off nohup in mkshrc so that backgrounded jobs receive SIGHUP when the parent shell exits. Bug: http://b/76116378 Test: manual Change-Id: I347d25013df107e6bd2e985a0a14e022c9fdf2ab
This commit is contained in:
parent
0c3dc4139a
commit
0e165c594a
2 changed files with 4 additions and 0 deletions
2
mkshrc
2
mkshrc
|
@ -6,6 +6,8 @@
|
||||||
#
|
#
|
||||||
# Support: https://launchpad.net/mksh
|
# Support: https://launchpad.net/mksh
|
||||||
|
|
||||||
|
set +o nohup
|
||||||
|
|
||||||
if (( USER_ID )); then PS1='$'; else PS1='#'; fi
|
if (( USER_ID )); then PS1='$'; else PS1='#'; fi
|
||||||
PS4='[$EPOCHREALTIME] '; PS1='${|
|
PS4='[$EPOCHREALTIME] '; PS1='${|
|
||||||
local e=$?
|
local e=$?
|
||||||
|
|
|
@ -6,6 +6,8 @@
|
||||||
#
|
#
|
||||||
# Support: https://launchpad.net/mksh
|
# Support: https://launchpad.net/mksh
|
||||||
|
|
||||||
|
set +o nohup
|
||||||
|
|
||||||
if (( USER_ID )); then PS1='$'; else PS1='#'; fi
|
if (( USER_ID )); then PS1='$'; else PS1='#'; fi
|
||||||
PS4='[$EPOCHREALTIME] '; PS1='${|
|
PS4='[$EPOCHREALTIME] '; PS1='${|
|
||||||
local e=$?
|
local e=$?
|
||||||
|
|
Loading…
Reference in a new issue