fish-shell

github-mirror/fish-shell

Fork 0

mirror of https://github.com/fish-shell/fish-shell.git synced 2024-12-03 08:23:51 +08:00

Commit Graph

Author	SHA1	Message	Date
David Adam	472e186c2b	Rename FISH_HISTORY to fish_history Work on #4414.	2017-09-24 14:07:45 +08:00
Kurtis Rader	ec14527545	don't import bash history if not default fish hist Don't import the bash history if the user has specified that a non-default fish history file should be used. Also, rename the var that specifies the fish history session ID from `FISH_HISTFILE` to `FISH_HISTORY`. Fixes #4172	2017-06-30 20:24:55 -07:00
tomassedovic	aec0973196	Make the history session configurable Using the FISH_HISTFILE variable will let people customise the session to use for the history file. The resulting history file is: `$XDG_DATA_HOME/fish/name_history` Where `name` is the name of the session. The default value is `fish` which results in the current history file. If it's set to an empty string, the history will not be stored to a file. Fixes #102	2017-06-30 17:13:02 -07:00

Author

SHA1

Message

Date

David Adam

472e186c2b

Rename FISH_HISTORY to fish_history

Work on #4414.

2017-09-24 14:07:45 +08:00

Kurtis Rader

ec14527545

don't import bash history if not default fish hist

Don't import the bash history if the user has specified that a non-default
fish history file should be used. Also, rename the var that specifies
the fish history session ID from `FISH_HISTFILE` to `FISH_HISTORY`.

Fixes #4172

2017-06-30 20:24:55 -07:00

tomassedovic

aec0973196

Make the history session configurable

Using the FISH_HISTFILE variable will let people customise the session
to use for the history file. The resulting history file is:

    `$XDG_DATA_HOME/fish/name_history`

Where `name` is the name of the session. The default value is `fish`
which results in the current history file.

If it's set to an empty string, the history will not be stored to a
file.

Fixes #102

2017-06-30 17:13:02 -07:00

3 Commits