2014-07-28 15:18:35 +02:00
|
|
|
# Copyright (c) 2010, 2012, 2013, 2014
|
2013-02-19 00:02:51 +01:00
|
|
|
# Thorsten Glaser <tg@mirbsd.org>
|
2011-06-16 19:05:28 +02:00
|
|
|
# This file is provided under the same terms as mksh.
|
|
|
|
#-
|
|
|
|
# Minimal /system/etc/mkshrc for Android
|
2013-02-19 00:02:51 +01:00
|
|
|
#
|
|
|
|
# Support: https://launchpad.net/mksh
|
2011-06-16 19:05:28 +02:00
|
|
|
|
2015-02-09 21:25:41 +01:00
|
|
|
: ${HOSTNAME:=$(getprop ro.product.device)}
|
|
|
|
: ${HOSTNAME:=android}
|
|
|
|
: ${TMPDIR:=/data/local/tmp}
|
2015-11-16 20:09:40 +01:00
|
|
|
export HOSTNAME TMPDIR
|
2015-02-09 21:25:41 +01:00
|
|
|
|
2011-06-16 19:05:28 +02:00
|
|
|
if (( USER_ID )); then PS1='$'; else PS1='#'; fi
|
2013-07-25 16:24:45 +02:00
|
|
|
PS4='[$EPOCHREALTIME] '; PS1='${|
|
|
|
|
local e=$?
|
2011-06-16 19:05:28 +02:00
|
|
|
|
2013-07-25 16:24:45 +02:00
|
|
|
(( e )) && REPLY+="$e|"
|
|
|
|
|
|
|
|
return $e
|
2015-11-02 22:32:07 +01:00
|
|
|
}$HOSTNAME:${PWD:-?} '"$PS1 "
|