diff options
| author |  Johannes Schindelin <johannes.schindelin@gmx.de> | 2019-11-29 21:11:48 +0000 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2019-12-01 07:30:54 -0800 |
| commit | d7633578b5ecf0d75e2793b01aa2e9afe645c186 (patch) | |
| tree | de58122ab36802aaefec05c73dacf984dd75f49e /git-gui | |
| parent | built-in add -i: implement the `patch` command (diff) | |
| download | tgif-d7633578b5ecf0d75e2793b01aa2e9afe645c186.tar.xz | |
built-in add -i: re-implement the `diff` command
It is not only laziness that we simply spawn `git diff -p --cached`
here: this command needs to use the pager, and the pager needs to exit
when the diff is done. Currently we do not have any way to make that
happen if we run the diff in-process. So let's just spawn.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui')
0 files changed, 0 insertions, 0 deletions