diff --git a/dotfiles/.bash_profile b/dotfiles/.bash_profile index 62df554..7c8abfb 100644 --- a/dotfiles/.bash_profile +++ b/dotfiles/.bash_profile @@ -60,6 +60,20 @@ export XINITRC="$XDG_CONFIG_HOME"/X11/xinitrc export PATH="$HOME/.local/bin:$PATH" +export HISTFILE="$XDG_STATE_HOME"/bash/history +export HISTSIZE=10000000 +export HISTFILESIZE=10000000 +export HISTCONTROL=erasedups:ignoreboth +#export HISTTIMEFORMAT="%s;" +# shopt -s histappend + +#original_prompt_command=${original_prompt_command-$PROMPT_COMMAND} +#PROMPT_COMMAND="history -a; history -n; $original_prompt_command" +#PROMPT_COMMAND="history -a; $PROMPT_COMMAND" +#PROMPT_COMMAND="history -w; history -a; $PROMPT_COMMAND" +export PROMPT_COMMAND="history -a; $PROMPT_COMMAND" + + if grep -q "i5" /proc/cpuinfo; then export LAPTOP="" fi diff --git a/dotfiles/.bashrc b/dotfiles/.bashrc index a465dc1..dcee09d 100644 --- a/dotfiles/.bashrc +++ b/dotfiles/.bashrc @@ -1,9 +1,5 @@ #!/bin/sh -export HISTFILE="$XDG_STATE_HOME"/bash/history -export HISTSIZE=10000000 -export HISTFILESIZE=10000000 - if [ -f "${XDG_CONFIG_HOME:-$HOME/.config}/shell/aliasrc" ]; then source "${XDG_CONFIG_HOME:-$HOME/.config}/shell/aliasrc" fi