diff options
| author | Tommaso Negri <me@tommasongr.com> | 2026-08-11 14:18:06 +0200 |
|---|---|---|
| committer | Tommaso Negri <me@tommasongr.com> | 2026-08-11 14:18:06 +0200 |
| commit | 68f63858702015f8994b9c3413708e08ed4693e7 (patch) | |
| tree | 15563192cf8880e34c80f5e57a7c01fad46c3288 /Sources | |
| parent | 10fed47a34ace6f5fc4c9afe7144f68d1985d8fa (diff) | |
| download | bar-68f63858702015f8994b9c3413708e08ed4693e7.tar.gz bar-68f63858702015f8994b9c3413708e08ed4693e7.zip | |
fix typo
Diffstat (limited to 'Sources')
| -rw-r--r-- | Sources/bar/bar.docc/patches.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Sources/bar/bar.docc/patches.md b/Sources/bar/bar.docc/patches.md index e2646f3..de0514a 100644 --- a/Sources/bar/bar.docc/patches.md +++ b/Sources/bar/bar.docc/patches.md @@ -18,7 +18,7 @@ The file contains a diff of the changes needed to add a specific feature. For example, to apply a patch from the *bar* collection: ```shell -curl -sL https://raw.githubusercontent.com/paninihouse/bar/refs/heads/master/patches/bar-font_offset-20260810-11d813c.patch | patch -p1 +curl -sL https://raw.githubusercontent.com/paninihouse/bar/refs/heads/master/patches/patch-font_offset-20260810-11d813c.patch | patch -p1 ``` After applying the patch, rebuild the program: @@ -63,13 +63,13 @@ This modular approach lets the community mix and match features without duplicat When publishing a patch, use a descriptive file name that follows the convention: ``` -bar-<feature_name>-<date>-<commit>.patch +patch-<feature_name>-<date>-<commit>.patch ``` For example: ``` -bar-font_offset-20260810-11d813c.patch +patch-font_offset-20260810-11d813c.patch ``` The date pinpoints which version of the code the patch was made against, and the commit hash makes it easy to look up the exact state of the repository at that point. |