Code

Pipe output of curl to bash, not sh#176

Code

Merged

erlingrj merged 1 commit intomainlf-lang/lf-lang.github.io:mainfrom pipe-bashlf-lang/lf-lang.github.io:pipe-bashCopy head branch name to clipboardOct 22, 2023

+4-4

Commits

Commits on Oct 21, 2023

• Pipe output of curl to bash, not sh

  lhstrh

  committed
  22d44cb