1255a78d21
bash sets this itself. mksh doesn't, but we can set it in adbd instead. Bug: N/A Test: `adb shell printenv` and `adb shell`, `printenv` Change-Id: I3967681c9c6f7bf9b1365f8361e4960e40e4f916
16 lines
375 B
Text
16 lines
375 B
Text
# 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 "
|