Move Append pipe

This commit is contained in:
2023-03-09 23:06:27 -05:00
parent 030410d172
commit fbca7aa20d

View File

@@ -119,7 +119,7 @@
newalan = pkgs.runCommand "New Alan Deployscript" { newalan = pkgs.runCommand "New Alan Deployscript" {
nativeBuildInputs = builtins.attrValues checks; nativeBuildInputs = builtins.attrValues checks;
} '' } ''
echo << 'DOC' echo <<'DOC' >> $out
#!${pkgs.runtimeShell} #!${pkgs.runtimeShell}
export tmp=$(mktemp -d) export tmp=$(mktemp -d)
pushd $tmp pushd $tmp
@@ -135,7 +135,7 @@ popd
rm -rf $tmp rm -rf $tmp
echo Listing $tmp echo Listing $tmp
ls $tmp ls $tmp
DOC >> $out DOC
chmod +x $out chmod +x $out
''; '';
}; };