Mirrors/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell synced 2024-12-28 13:53:10 +00:00
Code Issues Projects Releases Packages Wiki Activity

Remove special "default" value for $fish_history

Browse source 
This is really of very little use and makes checking $fish_history
harder because it makes two values mean the same thing.

Fixes #7650
This commit is contained in:
Fabian Homborg 2021-03-27 22:54:42 +01:00
parent 3f08fb9f9e
commit e7abb52526
2 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
doc_src/language.rst
View file

@ -1208,7 +1208,7 @@ You can change the settings of fish by changing the values of certain variables.
- ``fish_history``, the current history session name. If set, all subsequent commands within an - ``fish_history``, the current history session name. If set, all subsequent commands within an
interactive fish session will be logged to a separate file identified by the value of the interactive fish session will be logged to a separate file identified by the value of the
variable. If unset, or set to ``default``, the default session name "fish" is used. If set to an variable. If unset, the default session name "fish" is used. If set to an
empty string, history is not saved to disk (but is still available within the interactive empty string, history is not saved to disk (but is still available within the interactive
session). session).

2
src/history.cpp
View file

@ -1240,8 +1240,6 @@ wcstring history_session_id(const environment_t &vars) {
wcstring session_id = var->as_string(); wcstring session_id = var->as_string();
if (session_id.empty()) { if (session_id.empty()) {
result.clear(); result.clear();
} else if (session_id == L"default") {
// using the default value
} else if (valid_var_name(session_id)) { } else if (valid_var_name(session_id)) {
result = session_id; result = session_id;
} else { } else {