diff options
| author |  Johannes Schindelin <johannes.schindelin@gmx.de> | 2018-12-10 11:04:59 -0800 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2018-12-11 17:19:01 +0900 |
| commit | 969de3ff0e01282cc061892f47b5f04b22de76af (patch) | |
| tree | 7cb57f640d3a3dfa681969c0d837607623dd7232 /builtin | |
| parent | rebase: introduce --reschedule-failed-exec (diff) | |
| download | tgif-969de3ff0e01282cc061892f47b5f04b22de76af.tar.xz | |
rebase: add a config option to default to --reschedule-failed-exec
It would be cumbersome to type out that option all the time, so let's
offer the convenience of a config setting: rebase.rescheduleFailedExec.
Besides, this opens the door to changing the default in a future version
of Git: it does make some sense to reschedule failed `exec` commands by
default (and if we could go back in time when the `exec` command was
invented, we probably would change that default right from the start).
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin')
| -rw-r--r-- | builtin/rebase.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/builtin/rebase.c b/builtin/rebase.c index cc33730743..4839e52555 100644 --- a/builtin/rebase.c +++ b/builtin/rebase.c @@ -677,6 +677,11 @@ static int rebase_config(const char *var, const char *value, void *data) return 0; } + if (!strcmp(var, "rebase.reschedulefailedexec")) { + opts->reschedule_failed_exec = git_config_bool(var, value); + return 0; + } + return git_default_config(var, value, data); } |