diff options
| -rw-r--r-- | hyperterm/hyperterm.sh | 3 | ||||
| -rw-r--r-- | hyperterm/tools/export.sh | 3 |
2 files changed, 1 insertions, 5 deletions
diff --git a/hyperterm/hyperterm.sh b/hyperterm/hyperterm.sh index 6e2ece5..e549048 100644 --- a/hyperterm/hyperterm.sh +++ b/hyperterm/hyperterm.sh @@ -64,9 +64,6 @@ fi #Interactive Prompt PS2="${_psi:=$_psi}" -# No double entries in the shell history. -export HISTCONTROL=ignoreboth:erasedups - # global unsets unset SYMBOL prompt _psi diff --git a/hyperterm/tools/export.sh b/hyperterm/tools/export.sh index 0d6f69a..787bac5 100644 --- a/hyperterm/tools/export.sh +++ b/hyperterm/tools/export.sh @@ -1,6 +1,5 @@ #!/bin/bash export HISTSIZE=10000 -export HISTFILESIZE=${HISTSIZE} -export HISTCONTROL=ignoreboth +export HISTCONTROL=ignoreboth:erasedups export JAVA_FONTS=/usr/share/fonts/TTF |