Don't wastefully execute everything via a shell

Fork: 0

johnpearcey / dub_jkp

Browse code Don't wastefully execute everything via a shell We should only ever use the shell if we want to use the shell's features, such as pipes, non-trivial redirection, or shell language features (branches/loops/etc.). Otherwise, executing a program via the shell is pointless and wasteful. master
1 parent 3cc17fc commit 599193295ffd0a269b18a0d7d5d283b380d9ea9e Vladimir Panteleev authored on 20 Jul 2023 Jan Jurzitza committed on 22 Jul 2023

Browse code

We should only ever use the shell if we want to use the shell's
features, such as pipes, non-trivial redirection, or shell language
features (branches/loops/etc.).  Otherwise, executing a program via
the shell is pointless and wasteful.

master

1 parent 3cc17fc commit 599193295ffd0a269b18a0d7d5d283b380d9ea9e

Vladimir Panteleev authored on 20 Jul 2023

Jan Jurzitza committed on 22 Jul 2023

Patch

Unified Split

Showing 2 changed files

Ignore Space Show notes View source/dub/compilers/compiler.d

Ignore Space Show notes View source/dub/internal/git.d

Show line notes below