Как сохранить последний слеш в пути к каталогу?

Question

код:

public Path getToolsDirPath() {
    return Paths.get(mainDir, "Tools/");
}

и установка значения в строку:

String pathToFile = getToolsDirPath() + "tool.exe"

Я получаю: путь к файлу

Main/Toolstool.exe

(без косой черты между каталогамиИНСТРУМЕНТЫ и имя файла tool.exe)

Как сохранить последнюю косую черту в этом пути?

Answer 1

Вместо того, чтобы беспокоиться о слэше, вы можете использовать resolve, чтобы объединить путь и файл:

Path pathToFile = getToolsDirPath().resolve("tool.exe");

Пример запуска :

class Ideone
{
    static String mainDir = "/home/myname/somefolder";
    public static Path getToolsDirPath()
    {
        return Paths.get(mainDir, "Tools/");
    }

    public static void main (String[] args) throws java.lang.Exception
    {
        System.out.println(getToolsDirPath().resolve("tool.exe"));
    }
}

_{Оригинальный автор}