commit 3bac0bf1d6dd9dedc5b1d8e42e93b6277a622c77
parent ea7ea71d905950e12802249e0149ab02b0c71c3d
Author: jacobs-github <JacobDoesLinux@protonmail.com>
Date: Tue, 25 Feb 2020 13:52:05 -0800
a few options explisitly set, history size 82000 > 820000
Diffstat:
1 file changed, 13 insertions(+), 13 deletions(-)
diff --git a/mksh/.mkshrc b/mksh/.mkshrc
@@ -1,24 +1,24 @@
-# mkshrc - Jacob Edwards, Feb 2020
+# mkshrc, Jacob Edwards, Feb 2020
# sourcing
source ~/.profile
source ~/.aliases
# history
-export HISTFILE="$HOME/.history-mksh"
-# don't have a clue on getting mksh to have timestamped date in history, this doesn't seem to work.
-export HISTTIMEFORMAT="%d/%m/%Y %T "
-export HISTSIZE='82000'
+export HISTFILE="$HOME/.mksh-hist"
+export HISTSIZE='820000'
+
+# bindings
+bind '^L=clear-screen'
# options
set -o vi
+set -o vi-esccomplete
+set -o vi-tabcomplete
+set -o nohup
+#set -o posix
+#set -o noclobber
-# prompt
-# (~/path/to/directory) []
-PS1="$(echo "\033[34m(\033[00m\$(mksh_wd)\033[34m)\033[00m ")"
+# PS1 (~)
+PS1="$(echo "\033[34m(\033[00m\$(wd)\033[34m)\033[00m ")"
PS2='! '
-
-# get working directory replacing /home/user/ with ~
-mksh_wd() {
- echo "$PWD" | sed "s/\/home\/$USER/~/g"
-}