diff --git a/mkshrc b/mkshrc index 778cf09..d37de12 100644 --- a/mkshrc +++ b/mkshrc @@ -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=$?