tcsh vs bash
Jim.Diamond at acadiau.ca
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 preining.info<mailto:norbert at preining.info>> wrote:
> 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