| … | … | @@ -83,10 +83,11 @@ void find_history_filepath(const char *dictname, const char *argv0, |
| 83 | 83 | prt_error("Warning: xdg_get_home(XDG_BD_STATE) failed; " |
| 84 | 84 | "input history will not be supported.\n"); |
| 85 | 85 | history_file = strdup("dev/null"); |
| 86 | return; | |
| 87 | 86 | } |
| 88 | 87 | |
| 89 | 88 | history_file = hfile; |
| 89 | if (get_verbosity() == D_USER_FILES) | |
| 90 | prt_error("Debug: Using history file \"%s\"\n", history_file); | |
| 90 | 91 | } |
| 91 | 92 | |
| 92 | 93 | /** |