# 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 if (( USER_ID )); then PS1='$'; else PS1='#'; fi PS4='[$EPOCHREALTIME] '; PS1='${| local e=$? (( e )) && REPLY+="$e|" return $e }$HOSTNAME:${PWD:-?} '"$PS1 "