Look for core_defaultRepositoryDir in all preference scopes
commit936932bd4c1e4e91dd9d23c64d585115b83fb20d
authorStefan Cordes <rsc@adr.de>
Fri, 24 Jun 2016 20:36:21 +0000 (24 22:36 +0200)
committerThomas Wolf <thomas.wolf@paranor.ch>
Tue, 9 May 2017 09:43:23 +0000 (9 11:43 +0200)
tree6dde85fab61a22c4373da30d414564c50bb11b83
parent29b253947bd29341a4b7d3b1cd86190a7983f1f4
Look for core_defaultRepositoryDir in all preference scopes

This enables setting the preference for the default directory
where git clones shall be stored by EGit in plugin_customization.ini:

org.eclipse.egit.core/core_defaultRepositoryDir=<directory>

Bug: 496737
Change-Id: I51d8a7d1d1cc99461f666062603b3d46c5a5da8c
Signed-off-by: Stefan Cordes <rsc@adr.de>
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>
org.eclipse.egit.core/src/org/eclipse/egit/core/RepositoryUtil.java