Open home dir log GUI
/*
- * Copyright 2006-2020 The MZmine Development Team
+ * Copyright 2006-2021 The MZmine Development Team
*
* This file is part of MZmine.
*
* License, or (at your option) any later version.
*
* MZmine is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even
- * the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
- * Public License for more details.
+ * the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+ * General Public License for more details.
*
* You should have received a copy of the GNU General Public License along with MZmine; if not,
- * write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
+ * write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
+ *
*/
package io.github.mzmine.gui.mainwindow;
@@ -36,7 +37,6 @@ import java.net.URL;
import java.nio.file.Path;
import java.nio.file.Paths;
import java.time.Instant;
-import java.util.Date;
import java.util.logging.Logger;
import javafx.event.ActionEvent;
import javafx.event.Event;
@@ -76,8 +76,8 @@ public class MainMenuController {
* There doesn't seem to be any way to obtain the log file name from the logging FileHandler, so
* it is hard-coded here for now
*/
- final Path logFilePath =
- Paths.get(System.getProperty("java.io.tmpdir") + File.separator + "mzmine.log");
+ final Path logFilePath = Paths
+ .get(System.getProperty("user.home") + File.separator + "mzmine_0_0.log");
try {
Desktop gui = MZmineCore.getDesktop();
