2589cdd8f9
Increment HISTSIZE to fix hist_expire_dups_first
...
This fixes the old behavior which made it so all duplicates would be
deleted if the command history filled up with unique events.
> You should be sure to set the value of HISTSIZE to a larger number
> than SAVEHIST in order to give you some room for the duplicated
> events, otherwise this option will behave just like HIST_IGNORE_ALL_DUPS
> once the history fills up with unique events.
2018-04-22 15:33:12 +02:00
9f2f22d953
Remove duplicate option append_history
...
The option inc_append_history already has the same effect.
2018-04-22 15:33:11 +02:00
20d63be655
Use zparseopts to get passed arguments
2018-04-22 15:33:10 +02:00
f8180c3a64
Allow overriding -l flag in history
2018-04-22 15:32:30 +02:00
03758416fe
Ensure builtin fc is used (see #3001 )
2018-04-22 15:32:02 +02:00
643bb25a0d
Organize history.zsh file and improve comments
2018-04-22 15:32:02 +02:00
94baa9eadd
Simplify `if' into oneliner, allow spaces in HISTFILE
2018-04-22 15:32:01 +02:00
d87d4331cf
Change history alias into a function
...
This commit changes the history alias into a function which puts
the passed arguments before `-l 1`. It also provides a temporary
workaround to the lack of a `history -c` command in zsh.
For more information see issues 739 and 789.
2018-04-22 15:31:53 +02:00
d33b0aae91
Refactors history alias and moves it.
...
More compact case statement instead of the ugly if elif... else
statement. Moves it to history.zsh
2015-02-10 19:22:39 +01:00
1978a0923c
Revert PR #3359 as this is breaking stuff for many folks. Need to rethink how we handle system defaults differently on this
2014-12-15 08:11:04 -08:00
5bf715787a
Existing code indents with spaces, not tabs, conform.
2014-11-30 17:39:21 -08:00
1ebc98b9ed
Don't clobber HISTSIZE or SAVEHIST if they're already set
2014-11-30 17:37:47 -08:00
9eacd7d589
Merge pull request #750 from blueyed/history-drop-default-append-history
...
`setopt append_history` is not necessary.
2014-03-22 13:59:19 -07:00
3826c7bf85
allow setting a custom HISTFILE before oh-my-zsh is loaded
2013-03-15 22:07:47 +01:00
98578ec241
`setopt append_history` is not necessary.
...
Especially given the inc_append_history option, it is not necessary to
set the (default) append_history option.
2011-12-16 14:21:45 +01:00
3fc812afc9
Removed duplicate setting and sorted the remaining
2011-12-03 13:18:37 +01:00
edc8e3d092
Ignore commands that start with a space.
...
This is useful when you want to use a dangerous command, as it won't be
available with history searching.
2010-06-05 23:22:57 +08:00
93f9825b79
share history with your zsh's on the same host
2010-05-08 04:23:50 +08:00
8a8a7bafa0
merge upstream
2009-09-23 16:14:04 +01:00
ff545e6934
Bumping up history to 10k commands
2009-09-23 08:07:02 -07:00
8debd097fb
Moving all zsh config options into a lib/ subdirectory to make way for some upcoming changes to directory structure and configuration options
2009-09-23 07:43:36 -07:00
Marc Cornellà
LFDM
Robby Russell
Joe Block
Flavius Aspra
Daniel Hahler
Göran Gustafsson
James Rowe
Mike Hostetler
James Cox