Robby Russell
|
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 |
|
Joe Block
|
5bf715787a
|
Existing code indents with spaces, not tabs, conform.
|
2014-11-30 17:39:21 -08:00 |
|
Joe Block
|
1ebc98b9ed
|
Don't clobber HISTSIZE or SAVEHIST if they're already set
|
2014-11-30 17:37:47 -08:00 |
|
Robby Russell
|
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 |
|
Flavius Aspra
|
3826c7bf85
|
allow setting a custom HISTFILE before oh-my-zsh is loaded
|
2013-03-15 22:07:47 +01:00 |
|
Daniel Hahler
|
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 |
|
Göran Gustafsson
|
3fc812afc9
|
Removed duplicate setting and sorted the remaining
|
2011-12-03 13:18:37 +01:00 |
|
James Rowe
|
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 |
|
Mike Hostetler
|
93f9825b79
|
share history with your zsh's on the same host
|
2010-05-08 04:23:50 +08:00 |
|
James Cox
|
8a8a7bafa0
|
merge upstream
|
2009-09-23 16:14:04 +01:00 |
|
Robby Russell
|
ff545e6934
|
Bumping up history to 10k commands
|
2009-09-23 08:07:02 -07:00 |
|
Robby Russell
|
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 |
|