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
9set +o nohup
10
11if (( USER_ID )); then PS1='$'; else PS1='#'; fi
12PS4='[$EPOCHREALTIME] '; PS1='${|
13	local e=$?
14
15	(( e )) && REPLY+="$e|"
16
17	return $e
18}$HOSTNAME:${PWD:-?} '"$PS1 "
19