commit 94c54605771ace3375ad16d4063d03a6c7d416e8 parent 754881225bd27f2c05920b5c45f6e32fdfe6fab5 Author: Anders Damsgaard <anders@adamsgaard.dk> Date: Fri, 13 Dec 2019 10:25:16 +0100 Source ~/.profile from .kshrc Diffstat:
| M | .kshrc | | | 2 | ++ |
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/.kshrc b/.kshrc @@ -1,6 +1,8 @@ HISTFILE="$HOME/.ksh_history" HISTSIZE=50000 +[ -f "$HOME/.profile" ] && . ~/.profile || : + set -o vi PS1="\h:\w \${?#0}\\$ "