mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-31 20:52:13 +01:00
added 'runtime.tools.packager-name-version.path' property in the global properties map
This commit is contained in:
parent
2c6f6e76c4
commit
fa0678f5b7
@ -867,14 +867,16 @@ public class BaseNoGui {
|
|||||||
|
|
||||||
for (ContributedTool tool : installedTools) {
|
for (ContributedTool tool : installedTools) {
|
||||||
File installedFolder = tool.getDownloadableContribution(getPlatform()).getInstalledFolder();
|
File installedFolder = tool.getDownloadableContribution(getPlatform()).getInstalledFolder();
|
||||||
String absolutePath;
|
String toolPath;
|
||||||
if (installedFolder != null) {
|
if (installedFolder != null) {
|
||||||
absolutePath = installedFolder.getAbsolutePath();
|
toolPath = installedFolder.getAbsolutePath();
|
||||||
} else {
|
} else {
|
||||||
absolutePath = Constants.PREF_REMOVE_PLACEHOLDER;
|
toolPath = Constants.PREF_REMOVE_PLACEHOLDER;
|
||||||
}
|
}
|
||||||
PreferencesData.set(prefix + tool.getName() + ".path", absolutePath);
|
PreferencesData.set(prefix + tool.getName() + ".path", toolPath);
|
||||||
PreferencesData.set(prefix + tool.getName() + "-" + tool.getVersion() + ".path", absolutePath);
|
PreferencesData.set(prefix + tool.getName() + "-" + tool.getVersion() + ".path", toolPath);
|
||||||
|
PreferencesData.set(prefix + tool.getPackager() + "-" + tool.getName() + "-" + tool.getVersion() + ".path",
|
||||||
|
toolPath);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user