1 # Copyright (c) 2010, 2012, 2013, 2014
2 # Thorsten Glaser <tg@mirbsd.org>
3 # This file is provided under the same terms as mksh.
5 # Minimal /system/etc/mkshrc for Android
7 # Support: https://launchpad.net/mksh
9 if (( USER_ID )); then PS1='$'; else PS1='#'; fi
10 PS4='[$EPOCHREALTIME] '; PS1='${|
13 (( e )) && REPLY+="$e|"
16 }$HOSTNAME:${PWD:-?} '"$PS1 "