| # 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 | |
| : ${HOSTNAME:=$(getprop ro.product.device)} | |
| : ${HOSTNAME:=android} | |
| : ${TMPDIR:=/data/local/tmp} | |
| export HOSTNAME TMPDIR | |
| if (( USER_ID )); then PS1='$'; else PS1='#'; fi | |
| PS4='[$EPOCHREALTIME] '; PS1='${| | |
| local e=$? | |
| (( e )) && REPLY+="$e|" | |
| return $e | |
| }$HOSTNAME:${PWD:-?} '"$PS1 " |