Skip to content

Instantly share code, notes, and snippets.

@hangum
Created December 8, 2016 03:48
Show Gist options
  • Save hangum/833e0ed21fcf16f385c90ded26c7673b to your computer and use it in GitHub Desktop.
Save hangum/833e0ed21fcf16f385c90ded26c7673b to your computer and use it in GitHub Desktop.
get-menu -path "File/Switch Workspace/Other..." | click
with [get-window "Workspace Launcher"] {
get-combo -after [get-label "Workspace:"] | set-text "C:\\Users\\hangum\\workspace-rcp-export"
get-button OK | click
}
<project name="change export dir" default="change_export_dir">
<tstamp>
<format property="time.stamp" pattern="yyyy-MM-dd_HH-mm-ss" />
</tstamp>
<property name="base.dir" value="c:/export" />
<property name="build.dir" value="${base.dir}/eclipse" />
<property name="ver_number" value="${time.stamp}" />
<!-- setup target -->
<target name="make_export_dir">
<mkdir dir="${build.dir}_rel_${ver_number}" />
</target>
<!-- change export dir -->
<target name="change_export_dir" depends="make_export_dir">
<echo message="export dir is ${build.dir}_rel_${ver_number}"/>
<move file="${build.dir}" todir="${build.dir}_rel_${ver_number}" />
<delete dir="${base.dir}/repository"/>
</target>
</project>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment