Skip to content

Instantly share code, notes, and snippets.

@garrelj1
Last active January 24, 2022 16:58
Show Gist options
  • Save garrelj1/a56d8b0facbbe37dd4df20a15655c065 to your computer and use it in GitHub Desktop.
Save garrelj1/a56d8b0facbbe37dd4df20a15655c065 to your computer and use it in GitHub Desktop.
Example repo manifest file
<?xml version="1.0" encoding="UTF-8"?>
<manifest>
<!-- Remote to pull from with base URL as the fetch value -->
<remote name="garrell" fetch="git@github.com:garrelj1" revision="trunk"/>
<default remote="garrell" sync-j="14" sync-c="true" />
<!-- "path" is the directory the repository will be downloaded into -->
<!-- Using "remote" and "name" resolves to the git repo at git@github.com:garrelj1/ezsetup -->
<project path="external/ezsetup" name="ezsetup" remote="garrell">
<!-- Optional file copy procedure -->
<!-- Note: this will copy the file into the base dir NOT into external/ezsetup) -->
<copyfile src="install.sh" dest="install.sh" />
</project>
</manifest>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment