tcsh vs bash

Jim Diamond Jim.Diamond at
Sun Aug 1 22:19:37 CEST 2021

On Sun, Aug  1, 2021 at 09:55 (-0400), Bob Tennent wrote:

>  /bin/sh -> dash*

> No idea what dash is.

As pointed out, another shell.  Reportedly faster for running shell
scripts than the bloated bash, but not as many interactive niceties.
Choose your poison.

> On Sun, Aug 1, 2021 at 9:17 AM Norbert Preining <norbert at<mailto:norbert at>> wrote:
> Hi,


> Backticks should use /bin/sh - AFAIR ...

Both csh and tcsh use backtics in the same way as sh/bash/..., which
is why I like to see them in code snippets posted to the web.  Bash
snobs now hold up their noses at backtics and bleat that $(...) should
be used instead (because it is easier to nest using $(...) than
`...`).  IMHO that is a weak argument, but there you go.



More information about the tex-live mailing list.