OSDN Git Service

adbd sets HOME/LOGNAME/SHELL/USER now.
[android-x86/external-mksh.git] / mkshrc
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
9 : ${HOSTNAME:=$(getprop ro.product.device)}
10 : ${HOSTNAME:=android}
11 : ${TERM:=xterm}
12 : ${TMPDIR:=/data/local/tmp}
13 export HOSTNAME TERM TMPDIR
14
15 if (( USER_ID )); then PS1='$'; else PS1='#'; fi
16 PS4='[$EPOCHREALTIME] '; PS1='${|
17         local e=$?
18
19         (( e )) && REPLY+="$e|"
20
21         return $e
22 }$HOSTNAME:${PWD:-?} '"$PS1 "