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 : ${HOME:=/data}
  10 : ${HOSTNAME:=$(getprop ro.product.device)}
  11 : ${HOSTNAME:=android}
  12 : ${MKSH:=/system/bin/sh}
  13 : ${SHELL:=$MKSH}
  14 : ${TERM:=xterm}
  15 : ${TMPDIR:=/data/local/tmp}
  16 : ${USER:=$(id -un)}
  17 export HOME HOSTNAME MKSH SHELL TERM TMPDIR USER
  18
  19 if (( USER_ID )); then PS1='$'; else PS1='#'; fi
  20 PS4='[$EPOCHREALTIME] '; PS1='${|
  21         local e=$?
  22
  23         (( e )) && REPLY+="$e|"
  24
  25         return $e
  26 }$USER@$HOSTNAME:${PWD:-?} '"$PS1 "