Re: Indenting lines starting with die in shell after ||

Hi Christian, On 2015-07-27 11:20, Christian Couder wrote: It looks like we are very inconsistent in shell scripts about indenting lines starting with die after a line that ends with ||, like: quite long command || die command failed For example in git-rebase--interactive.sh, there is

Indenting lines starting with die in shell after ||

Hi, It looks like we are very inconsistent in shell scripts about indenting lines starting with die after a line that ends with ||, like: quite long command || die command failed For example in git-rebase--interactive.sh, there is often, but not always, an extra tab before the die. It looks