1
0
Fork 0
mirror of https://github.com/ohmyzsh/ohmyzsh.git synced 2024-11-14 18:00:08 +00:00
Commit graph

9 commits

Author SHA1 Message Date
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
Renamed from history.zsh (Browse further)