equal
deleted
inserted
replaced
33 public static final String HELP_FILE = "info/globalcode/sql/dk/help.txt"; |
33 public static final String HELP_FILE = "info/globalcode/sql/dk/help.txt"; |
34 private static final File HOME_DIR = new File(System.getProperty("user.home")); |
34 private static final File HOME_DIR = new File(System.getProperty("user.home")); |
35 /** |
35 /** |
36 * Directory where config and log files are stored. |
36 * Directory where config and log files are stored. |
37 */ |
37 */ |
38 public static final File DIR = new File(HOME_DIR, ".sql-dk"); |
38 public static final File DIR = new File(HOME_DIR, ".sql-dk"); // bash-completion:dir |
39 public static final File CONFIG_FILE = new File(DIR, "config.xml"); |
39 public static final File CONFIG_FILE = new File(DIR, "config.xml"); |
40 public static final String EXAMPLE_CONFIG_FILE = "info/globalcode/sql/dk/example-config.xml"; |
40 public static final String EXAMPLE_CONFIG_FILE = "info/globalcode/sql/dk/example-config.xml"; |
41 |
41 |
42 private Constants() { |
42 private Constants() { |
43 } |
43 } |