diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2019-03-14 17:02:24 -0400 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2019-03-14 17:02:28 -0400 |
| commit | b83c6f79400f1b749e7ff2a3c19a09064aaeefb9 (patch) | |
| tree | 98dc0dbc4ee7dafb14cd812aba4114b6a997585e /contrib/devtools | |
| parent | 7fa1f6258c05648f901d7135f8b6606f60428e70 (diff) | |
| parent | ff7f31e07dff676a3bb400e98e0e365eee5aace9 (diff) | |
Merge #15444: [docs] Additional productivity tips
ff7f31e07d [doc] productivity: more advanced git range-diff (Sjors Provoost)
3a21905a4e [doc] devtools: mention clang-format dependency (Sjors Provoost)
bf12093191 [doc] productivity: fix broken link (Sjors Provoost)
Pull request description:
Fixes a broken link to `devtools/README.md`, points out the `clang-format` dependency and adds a `git range-diff` incantation that works even with rebases and squashes.
Tree-SHA512: 36e46282f1e28d1bf3f48ada995fbac548f61b7747091eb032b60919cf76c7bdad0fa8aecb0c47adbdaa9ef986d3ec7752b0bb94c63191401856e2ddeec48f3e
Diffstat (limited to 'contrib/devtools')
| -rw-r--r-- | contrib/devtools/README.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/contrib/devtools/README.md b/contrib/devtools/README.md index d66eff66be..0c8c396503 100644 --- a/contrib/devtools/README.md +++ b/contrib/devtools/README.md @@ -7,6 +7,8 @@ clang-format-diff.py A script to format unified git diffs according to [.clang-format](../../src/.clang-format). +Requires `clang-format`, installed e.g. via `brew install clang-format` on macOS. + For instance, to format the last commit with 0 lines of context, the script should be called from the git root folder as follows. |