1# Copyright (c) 2010, 2012, 2013, 2014 2# Thorsten Glaser <[email protected]> 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 9set +o nohup 10 11if (( USER_ID )); then PS1='$'; else PS1='#'; fi 12PS4='[$EPOCHREALTIME] '; PS1='${| 13 local e=$? 14 15 (( e )) && REPLY+="$e|" 16 17 return $e 18}$HOSTNAME:${PWD:-?} '"$PS1 " 19