File: trigger-maintained-Preferences

package info (click to toggle)
minizinc 2.9.3%2Bdfsg1-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 17,620 kB
  • sloc: cpp: 74,682; ansic: 8,541; python: 3,322; sh: 79; makefile: 13
file content (15 lines) | stat: -rw-r--r-- 366 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
--- a/lib/file_utils.cpp
+++ b/lib/file_utils.cpp
@@ -377,11 +377,7 @@
 }
 
 std::string global_config_file() {
-  std::string sd = share_directory();
-  if (sd.empty()) {
-    return "";
-  }
-  return sd + "/Preferences.json";
+  return "/var/lib/minizinc/Preferences.json";
 }
 
 std::string user_config_file() { return user_config_dir() + "/Preferences.json"; }