This is the command grok-pull that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
GROK-PULL - Clone or update local git repositories
grok-pull -c /path/to/repos.conf
This utility runs from a cronjob and downloads the latest manifest from the grokmirror
master. If there are new repositories or changes in the existing repositories, grok-pull
will perform the necessary git commands to clone or fetch the required data from the
At the end of its run, grok-pull will generate its own manifest file, which can then be
used for further mirroring.
show program's version number and exit
show this help message and exit
Be verbose and tell us what you are doing
Run without checking manifest mtime.
Force full git update regardless of last-modified times. Also useful when
repos.conf has changed.
Remove any git trees that are no longer in manifest.
Pretty-print the generated manifest (sort repos and add indentation). This is
much slower, so should be used with caution on large collections.
If any existing repositories are found on disk, set new remote origin and reuse
-c CONFIG, --config=CONFIG
Location of repos.conf
Locate repos.conf and modify it to reflect your needs. The default configuration file is
Add a cronjob to run as frequently as you like. For example, add the following to
# Run grok-pull every minute as user "mirror"
* * * * * mirror /usr/bin/grok-pull -p -c /etc/grokmirror/repos.conf
Make sure the user "mirror" (or whichever user you specified) is able to write to the
toplevel, log and lock locations specified in repos.conf.
Use grok-pull online using onworks.net services