| # Copyright (c) 2010, 2012, 2013, 2014 | |
| # Thorsten Glaser <[email protected]> | |
| # 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 " |