mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[platform] dropping obsolete/repetitive/needlessly exposed parts of PathManager API
GitOrigin-RevId: 515de04f933baefb7591bbf4d548b0a27ed2ca24
This commit is contained in:
committed by
intellij-monorepo-bot
parent
3b71faab99
commit
f0396467f7
@@ -1,4 +1,4 @@
|
||||
// Copyright 2000-2024 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license.
|
||||
// Copyright 2000-2025 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license.
|
||||
package com.intellij.compiler.server;
|
||||
|
||||
import com.intellij.compiler.YourKitProfilerService;
|
||||
@@ -14,6 +14,7 @@ import com.intellij.openapi.diagnostic.Logger;
|
||||
import com.intellij.openapi.progress.ProgressIndicator;
|
||||
import com.intellij.openapi.project.Project;
|
||||
import com.intellij.openapi.util.io.FileUtil;
|
||||
import com.intellij.util.system.OS;
|
||||
import org.jetbrains.annotations.NotNull;
|
||||
import org.jetbrains.annotations.Nullable;
|
||||
import org.jetbrains.jps.api.GlobalOptions;
|
||||
@@ -186,7 +187,7 @@ final class WslBuildCommandLineBuilder implements BuildCommandLineBuilder {
|
||||
if (wslUserHome == null) return null;
|
||||
String windowsUserHomePath = distribution.getWindowsPath(wslUserHome);
|
||||
if (pathsSelector == null) pathsSelector = "." + ApplicationNamesInfo.getInstance().getScriptName();
|
||||
String workingDirectory = PathManager.getDefaultUnixSystemPath(windowsUserHomePath, pathsSelector) + "/" + BuildManager.SYSTEM_ROOT;
|
||||
String workingDirectory = PathManager.getDefaultSystemPathFor(OS.Linux, windowsUserHomePath, pathsSelector)+ "/" + BuildManager.SYSTEM_ROOT;
|
||||
return Paths.get(workingDirectory);
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user