diff options
author | Andrei Pozolotin | 2016-06-13 17:40:55 +0000 |
---|---|---|
committer | Andrei Pozolotin | 2016-06-13 17:40:55 +0000 |
commit | 1803d059146cba2694e2224b2fad89713522f419 (patch) | |
tree | 48e3d89bd7b2fb740d64948df1814f55f12d8f3c /dgr-aur.launch | |
download | aur-1803d059146cba2694e2224b2fad89713522f419.tar.gz |
initial commit
Diffstat (limited to 'dgr-aur.launch')
-rw-r--r-- | dgr-aur.launch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/dgr-aur.launch b/dgr-aur.launch new file mode 100644 index 000000000000..a7495e5a25a3 --- /dev/null +++ b/dgr-aur.launch @@ -0,0 +1,10 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<launchConfiguration type="org.eclipse.ui.externaltools.ProgramLaunchConfigurationType"> +<booleanAttribute key="org.eclipse.debug.ui.ATTR_LAUNCH_IN_BACKGROUND" value="false"/> +<listAttribute key="org.eclipse.debug.ui.favoriteGroups"> +<listEntry value="org.eclipse.ui.externaltools.launchGroup"/> +</listAttribute> +<stringAttribute key="org.eclipse.ui.externaltools.ATTR_LAUNCH_CONFIGURATION_BUILD_SCOPE" value="${none}"/> +<stringAttribute key="org.eclipse.ui.externaltools.ATTR_LOCATION" value="${workspace_loc:/dgr-aur/dgr-aur.launch.sh}"/> +<stringAttribute key="org.eclipse.ui.externaltools.ATTR_WORKING_DIRECTORY" value="${workspace_loc:/dgr-aur}"/> +</launchConfiguration> |