divekit patch
The ‘patch’ command allows you to update files inside the distributed repositories.
Patch one or several files in all the repos of a certain distribution of the origin repo
Usage:
divekit patch [flags] [files...]
Flags:
-d, --distribution string name of the repo-distribution to patch
-h, --help help for patch
e.g.:
$ divekit patch --distribution "supervisor" E2WhateverTests.java pom.xml
Example Flow (first draft)
$ divekit patch --distribution "supervisor" E2WhateverTests.java pom.xml
? Please type your commit message [Patch applied on 2024-10-04 08:42]: make some tests optional
Following repositories will be updated:
[√] (215x) supervisor::ST2-2024-{uuid}
[√] (215x) supervisor::ST2-2024-{uuid}-test
? Continue? [Y/n]: y
Updating repositories:
[███████████ ] 42% (90/215)
$ divekit patch E2WhateverTests.java pom.xml
? Found several distributions. Please choose one:
[x] local
[ ] supervisor
[ ] student
Following repositories will be updated:
[√] (215x) local::ST2-2024-{uuid}
[√] (215x) local::ST2-2024-{uuid}-test
? Continue? [Y/n]: y
Updating repositories:
[███████████ ] 42% (90/215)
Last modified January 23, 2025: create files for notes, ideas, questsions (d0ee9e3)