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