Daniel Hahler
|
b578eea273
|
`setopt append_history` is not necessary.
Especially given the inc_append_history option, it is not necessary to
set the (default) append_history option.
|
12 years ago |
Flavius Aspra
|
3826c7bf85
|
allow setting a custom HISTFILE before oh-my-zsh is loaded
|
13 years ago |
|
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.
|
14 years ago |
Göran Gustafsson
|
3fc812afc9
|
Removed duplicate setting and sorted the remaining
|
15 years ago |
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.
|
16 years ago |
Mike Hostetler
|
93f9825b79
|
share history with your zsh's on the same host
|
16 years ago |
Robby Russell
|
ff545e6934
|
Bumping up history to 10k commands
|
17 years ago |
|
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
|
17 years ago |
James Cox
|
556ee4198f
|
tidy up history
|
17 years ago |
|
James Cox
|
8fe67686db
|
would rather store history in $HOME and double size
|
17 years ago |
|
Robby Russell
|
5da20b9ddd
|
Importing initial files after reorganizing stuff.
|
17 years ago |
