platform_external_mksh/mkshrc_vendor
Josh Gao 0e165c594a 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
2018-03-21 18:19:50 -07:00

18 lines
389 B
Text

# Copyright (c) 2010, 2012, 2013, 2014
# Thorsten Glaser <tg@mirbsd.org>
# This file is provided under the same terms as mksh.
#-
# Minimal /system/etc/mkshrc for Android
#
# Support: https://launchpad.net/mksh
set +o nohup
if (( USER_ID )); then PS1='$'; else PS1='#'; fi
PS4='[$EPOCHREALTIME] '; PS1='${|
local e=$?
(( e )) && REPLY+="$e|"
return $e
}$HOSTNAME:${PWD:-?} '"$PS1 "