Searched refs:DEFAULT_HISTORY_COMMANDS_PATH (Results 1 – 1 of 1) sorted by relevance
28 const DEFAULT_HISTORY_COMMANDS_PATH: &str = "/history_commands.txt"; constant46 history_path: DEFAULT_HISTORY_COMMANDS_PATH.to_string(), in new()