From 417ccf4906b73d67ef4989e9f03c2bb5f9ed2079 Mon Sep 17 00:00:00 2001
From: Elliott Hughes <enh@google.com>
Date: Mon, 9 Feb 2015 12:25:41 -0800
Subject: [PATCH] Set $TMPDIR to /data/local/tmp, and use `id -un` to get the
 user's name.

Needed to make various command-line tools work out of the box, since we
don't have /tmp, which is what they'd naturally fall back to.

Change-Id: I3091d5ec9235f977de4a698a34f1f147a69e8a33
---
 mkshrc | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/mkshrc b/mkshrc
index 4beaf90..98cbeac 100644
--- a/mkshrc
+++ b/mkshrc
@@ -6,8 +6,16 @@
 #
 # Support: https://launchpad.net/mksh
 
-: ${TERM:=xterm} ${HOME:=/data} ${MKSH:=/system/bin/sh} ${HOSTNAME:=$(getprop ro.product.device)}
-: ${SHELL:=$MKSH} ${USER:=$(typeset x=$(id); x=${x#*\(}; print -r -- ${x%%\)*})} ${HOSTNAME:=android}
+: ${HOME:=/data}
+: ${HOSTNAME:=$(getprop ro.product.device)}
+: ${HOSTNAME:=android}
+: ${MKSH:=/system/bin/sh}
+: ${SHELL:=$MKSH}
+: ${TERM:=xterm}
+: ${TMPDIR:=/data/local/tmp}
+: ${USER:=$(id -un)}
+export HOME HOSTNAME MKSH SHELL TERM TMPDIR USER
+
 if (( USER_ID )); then PS1='$'; else PS1='#'; fi
 PS4='[$EPOCHREALTIME] '; PS1='${|
 	local e=$?
@@ -16,7 +24,6 @@ PS4='[$EPOCHREALTIME] '; PS1='${|
 
 	return $e
 }$USER@$HOSTNAME:${PWD:-?} '"$PS1 "
-export HOME HOSTNAME MKSH SHELL TERM USER
 
 function hd {
 	local -Uui16 -Z11 pos=0
-- 
2.11.0