git/list[1] front-page[2] threads[3] people[4] search[5] about
 

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

From
Johannes Schindelin <johannes.schindelin@gmx.de>
Date
Jul 27, 2015, 10:25 UTC
Message-ID
<847c822062707efaf2171b5568e00e45@www.dscho.org>
In-Reply-To
<CAP8UFD3UmrmREa8hN=jGNM8FMc3XHOyX9hGjfRDej_qMrNsaXw@mail.gmail.com>
Hi Christian,
On 2015-07-27 11:20, Christian Couder wrote:
Show 9 quoted lines
> 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.
That is most likely my fault: I used to add that extra tab. It appears to me as if the convention in Git (and in my current coding style) is not to add an extra tab.

Ciao, Dscho

Previous: Christian Couder
Message 2 of 2 in “Indenting lines starting with "die" in shell after "||"”
  1. Christian CouderJul 27, 2015
  2. Johannes SchindelinJul 27, 2015

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.