mirror of https://github.com/YosysHQ/yosys.git
Follow the XDG Base Directory Specification
This commit is contained in:
parent
86b8a1c5ae
commit
f50e8a3c1b
|
@ -244,7 +244,11 @@ int main(int argc, char **argv)
|
||||||
bool mode_q = false;
|
bool mode_q = false;
|
||||||
|
|
||||||
#if defined(YOSYS_ENABLE_READLINE) || defined(YOSYS_ENABLE_EDITLINE)
|
#if defined(YOSYS_ENABLE_READLINE) || defined(YOSYS_ENABLE_EDITLINE)
|
||||||
if (getenv("HOME") != NULL) {
|
if (getenv("XDG_DATA_HOME") != NULL && getenv("XDG_DATA_HOME")[0] != '\0') {
|
||||||
|
yosys_history_file = stringf("%s/yosys/.yosys_history", getenv("XDG_DATA_HOME"));
|
||||||
|
read_history(yosys_history_file.c_str());
|
||||||
|
yosys_history_offset = where_history();
|
||||||
|
} else if (getenv("HOME") != NULL) {
|
||||||
yosys_history_file = stringf("%s/.yosys_history", getenv("HOME"));
|
yosys_history_file = stringf("%s/.yosys_history", getenv("HOME"));
|
||||||
read_history(yosys_history_file.c_str());
|
read_history(yosys_history_file.c_str());
|
||||||
yosys_history_offset = where_history();
|
yosys_history_offset = where_history();
|
||||||
|
|
Loading…
Reference in New Issue