GROK-DUMB-PULL(1)
π GROK-DUMB-PULL π
okay bestie, welcome to the manual page for grok-dumb-pull, a whole icon in the grokmirror cinematic universe. It lives in section 1 of the manual, which is the "user commands" section, and honestly? It understood the assignment. π«Ά
β¨ SYNOPSIS β¨
grok-dumb-pull [options] /path/to/repos
Like, that's it. Options, then a path to your repos. She's simple, she's effective, she's the moment. π
πΈ DESCRIPTION πΈ
So here's the tea. This is a satellite utility β a lil sidekick β and its whole job is updating repositories that are not exported via a grokmirror manifest. Those ones don't get the fancy automatic treatment, so you have to do the work yourself:
- you gotta manually clone these repos using
git clone --mirror, and - then you define a cronjob to update them as frequently as you require.
And then what does grok-dumb-pull do when it rolls up? It bluntly executes git remote update in each of them. No subtlety, no drama, no notes. It just does the thing. π€
π OPTIONS π
--versionβ show the program's version number and dip. That's the whole vibe. βοΈ-h,--helpβ show this help message and exit. The classic "wait what does this do again" button.-v,--verboseβ be verbose and tell us what you're doing. She's narrating her own life and honestly we're obsessed. π£οΈ-s,--svnβ the remotes for these repositories are Subversion. Yes bestie, we're dealing with svn remotes, it's giving retro. π- *
-r*REMOTES,--remote-names=REMOTES β only fetch remotes matching this name (it accepts globbing, and you can pass it multiple times). Very "I only want that one" energy. π - *
-u*POSTHOOK,--post-update-hook=POSTHOOK β run this hook after each repository is updated. It passes the full path to the repository as the sole argument, so your hook knows exactly which repo just got its glow-up. β¨ - *
-l*LOGFILE,--logfile=LOGFILE β put debug logs into this file. For when you need receipts. π§Ύ
π EXAMPLES π
The following will update all bare git repositories found in /path/to/repos hourly, and /path/to/special/repo.git daily, fetching only the "github" remote:
MAILTO=root
# Update all repositories found in /path/to/repos hourly
0 * * * * mirror /usr/bin/grok-dumb-pull /path/to/repos
# Update /path/to/special/repo.git daily, fetching "github" remote
0 0 * * * mirror /usr/bin/grok-dumb-pull -r github /path/to/special/repo.git
Make sure the user "mirror" (or whichever user you specified) is able to write to the repos specified.
no cap, if mirror can't write to those repos, this whole plan falls apart and we will all be sad. π
π SEE ALSO π
the whole friend group fr fr π«Ά
π SUPPORT π
Email tools@linux.kernel.org. They're literally right there, bestie, they want to help.
π AUTHOR π
mricon@kernel.org
License: GPLv3+
β COPYRIGHT β
The Linux Foundation and contributors
and that's the whole page, periodt. π this version is 2.0.0, dated 2020-08-14 β shoutout to whoever shipped it, she ate and left no crumbs. πβ¨
π¦ where this page comes from
- debian trixie: grokmirror 2.0.12-1 Β· GPL-3.0-or-later
- epel 9: python3-grokmirror 2.0.12-1.el9 Β· GPL-3.0-or-later
- fedora 43: python3-grokmirror 2.0.12-6.fc43 Β· GPL-3.0-or-later
- fedora 44: python3-grokmirror 2.0.12-7.fc44 Β· GPL-3.0-or-later
- ubuntu noble: grokmirror 2.0.11-2 Β· GPL-3.0-or-later
- ubuntu questing: grokmirror 2.0.12-1
- ubuntu resolute: grokmirror 2.0.12-1build1 Β· GPL-3.0-or-later
- π girlified by deepseek-ai/DeepSeek-V4.1-Flash on : a language model's rewrite of the original, under its terms