jimmy/postgrest
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

bash_5 -> bash

Browse Source
This commit is contained in:
Robert Vollmert
2022-10-28 10:49:04 +02:00
committed by Wolfgang Walther
parent 78ec8a095a
commit 31cd0bbff4
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
nix/overlays/checked-shell-script/checked-shell-script.nix
+2 -2
View File
@@ -2,7 +2,7 @@
# directly, or use the .bin attribute to get the script in a bin/ directory, # directly, or use the .bin attribute to get the script in a bin/ directory,
# to be used in a path for example. # to be used in a path for example.
{ argbash { argbash
, bash_5 , bash
, coreutils , coreutils
, git , git
, lib , lib
@@ -77,7 +77,7 @@ let
text = text =
'' ''
#!${bash_5}/bin/bash #!${bash}/bin/bash
source ${argsParser} source ${argsParser}
set -euo pipefail set -euo pipefail
'' ''