1*7c356e86SAndroid Build Coastguard Worker# Copyright (c) 2010, 2012, 2013, 2014 2*7c356e86SAndroid Build Coastguard Worker# Thorsten Glaser <[email protected]> 3*7c356e86SAndroid Build Coastguard Worker# This file is provided under the same terms as mksh. 4*7c356e86SAndroid Build Coastguard Worker#- 5*7c356e86SAndroid Build Coastguard Worker# Minimal /system/etc/mkshrc for Android 6*7c356e86SAndroid Build Coastguard Worker# 7*7c356e86SAndroid Build Coastguard Worker# Support: https://launchpad.net/mksh 8*7c356e86SAndroid Build Coastguard Worker 9*7c356e86SAndroid Build Coastguard Workerset +o nohup 10*7c356e86SAndroid Build Coastguard Worker 11*7c356e86SAndroid Build Coastguard Workerif (( USER_ID )); then PS1='$'; else PS1='#'; fi 12*7c356e86SAndroid Build Coastguard WorkerPS4='[$EPOCHREALTIME] '; PS1='${| 13*7c356e86SAndroid Build Coastguard Worker local e=$? 14*7c356e86SAndroid Build Coastguard Worker 15*7c356e86SAndroid Build Coastguard Worker (( e )) && REPLY+="$e|" 16*7c356e86SAndroid Build Coastguard Worker 17*7c356e86SAndroid Build Coastguard Worker return $e 18*7c356e86SAndroid Build Coastguard Worker}$HOSTNAME:${PWD:-?} '"$PS1 " 19