| 1234567891011 |
- --- mksh.orig/dot.mkshrc 2010-02-16 20:13:59.000000000 +0100
- +++ mksh/dot.mkshrc 2010-02-16 20:13:50.000000000 +0100
- @@ -21,7 +21,7 @@
- #-
- # ~/.mkshrc: mksh initialisation file for interactive shells
-
- -: ${EDITOR:=/bin/ed} ${TERM:=vt100} ${HOSTNAME:=$(ulimit -c 0;hostname -s 2>&-)}
- +: ${EDITOR:=/bin/vi} ${TERM:=vt100} ${HOSTNAME:=$(ulimit -c 0;hostname -s 2>&-)}
- [[ $HOSTNAME = @(localhost|*([ ])) ]] && HOSTNAME=$(ulimit -c 0;hostname 2>&-)
- : ${HOSTNAME:=nil}; if (( USER_ID )); then PS1='$'; else PS1='#'; fi
- function precmd {
|
