# 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 " |