Stop setting $HOSTNAME in mkshrc.

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
This commit is contained in:
Elliott Hughes 2017-10-03 08:42:27 -07:00
parent a1899ee519
commit 1255a78d21
2 changed files with 1 additions and 7 deletions

4
mkshrc
View file

@ -6,10 +6,8 @@
# #
# Support: https://launchpad.net/mksh # Support: https://launchpad.net/mksh
: ${HOSTNAME:=$(getprop ro.product.device)}
: ${HOSTNAME:=android}
: ${TMPDIR:=/data/local/tmp} : ${TMPDIR:=/data/local/tmp}
export HOSTNAME TMPDIR export TMPDIR
if (( USER_ID )); then PS1='$'; else PS1='#'; fi if (( USER_ID )); then PS1='$'; else PS1='#'; fi
PS4='[$EPOCHREALTIME] '; PS1='${| PS4='[$EPOCHREALTIME] '; PS1='${|

View file

@ -6,10 +6,6 @@
# #
# Support: https://launchpad.net/mksh # Support: https://launchpad.net/mksh
: ${HOSTNAME:=$(getprop ro.product.device)}
: ${HOSTNAME:=android}
export HOSTNAME
if (( USER_ID )); then PS1='$'; else PS1='#'; fi if (( USER_ID )); then PS1='$'; else PS1='#'; fi
PS4='[$EPOCHREALTIME] '; PS1='${| PS4='[$EPOCHREALTIME] '; PS1='${|
local e=$? local e=$?