Может ли рабочий_каталог быть конкретным для пользователя

Question

Я нахожусь в проекте, где они используют файлы запуска.До сих пор был один разработчик, но мы намерены работать с большим количеством разработчиков.

На данный момент я вижу в файле запуска:

<stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="/home/john/dev/projects/..."/>

Но этозашитый пользователь.Есть ли способ заменить домашний каталог текущего пользователя на «/ home / john»?

Answer 1

Многие значения в конфигурации запуска могут содержать «переменные» для установки значения.

Для рабочего каталога вы можете использовать ${system_property:user.home}, чтобы получить системное свойство user.home:

<stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" 
  value="${system_property:user.home}/...."/>

В конфигурации запуска для запуска есть кнопка «Переменные» рядом с рабочимнастройка каталога на вкладке «Аргументы», которая покажет вам основные переменные, которые вы можете использовать.