Fix history bungle
This commit is contained in:
parent
19713fe01f
commit
2c5c0464b0
1 changed files with 0 additions and 21 deletions
|
@ -231,7 +231,6 @@ setopt pushd_silent
|
|||
# Pushd with no arguments is like cd with no arguments
|
||||
setopt pushd_to_home
|
||||
|
||||
|
||||
## History
|
||||
|
||||
# Save history between sessions.
|
||||
|
@ -265,25 +264,5 @@ setopt hist_ignore_all_dups
|
|||
# to do things correctly and see if it's slow.
|
||||
setopt hist_lex_words
|
||||
|
||||
# Append to the history file as each command is entered.
|
||||
#
|
||||
# The default behaviour is to append at the end of each session. In
|
||||
# Fish, I had some troubles wherein I wanted something from the history
|
||||
# in a new session, but I hadn't closed the old one. This fixes that.
|
||||
#
|
||||
# The reason we pick the time variant of this option is that this one
|
||||
# writes the command when it has finished, as opposed to when it
|
||||
# starts. This enables the extended history option above to remain
|
||||
# correct.
|
||||
#
|
||||
# setopt inc_append_history_time
|
||||
|
||||
# Read from the history file on up arrow.
|
||||
#
|
||||
# This supercedes the above option, so it has to be turned off to
|
||||
# avoid duplication of history. I have kept the comments in place,
|
||||
# because I think they are valuable.
|
||||
setopt share_history
|
||||
|
||||
alias pbcopy='xclip -selection clipboard'
|
||||
alias pbpaste='xclip -selection clipboard -o'
|
||||
|
|
Loading…
Add table
Reference in a new issue