Merge "Stop setting $HOSTNAME in mkshrc."
am: 5677920e65
Change-Id: I694b38a3872a1e17fb2135a6a4635bb93fd801df
This commit is contained in:
commit
12d6e8bb3f
2 changed files with 1 additions and 7 deletions
4
mkshrc
4
mkshrc
|
@ -6,10 +6,8 @@
|
|||
#
|
||||
# Support: https://launchpad.net/mksh
|
||||
|
||||
: ${HOSTNAME:=$(getprop ro.product.device)}
|
||||
: ${HOSTNAME:=android}
|
||||
: ${TMPDIR:=/data/local/tmp}
|
||||
export HOSTNAME TMPDIR
|
||||
export TMPDIR
|
||||
|
||||
if (( USER_ID )); then PS1='$'; else PS1='#'; fi
|
||||
PS4='[$EPOCHREALTIME] '; PS1='${|
|
||||
|
|
|
@ -6,10 +6,6 @@
|
|||
#
|
||||
# Support: https://launchpad.net/mksh
|
||||
|
||||
: ${HOSTNAME:=$(getprop ro.product.device)}
|
||||
: ${HOSTNAME:=android}
|
||||
export HOSTNAME
|
||||
|
||||
if (( USER_ID )); then PS1='$'; else PS1='#'; fi
|
||||
PS4='[$EPOCHREALTIME] '; PS1='${|
|
||||
local e=$?
|
||||
|
|
Loading…
Reference in a new issue