diff options
| -rw-r--r-- | .bash_profile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.bash_profile b/.bash_profile index 0b2053e..36277aa 100644 --- a/.bash_profile +++ b/.bash_profile @@ -47,6 +47,7 @@ export FZF_DIRECTORY_MARKS=$XDG_CONFIG_HOME/fzf/marks/directories export FZF_FILE_MARKS=$XDG_CONFIG_HOME/fzf/marks/files export GNUPGHOME="$XDG_DATA_HOME/gnupg" export GOPATH="$XDG_DATA_HOME/go" +export GTK_OVERLAY_SCROLLING=0 export HISTCONTROL=ignoreboth:erasedups export HISTFILESIZE= export HISTSIZE= |