On Tue, 2023-09-12 at 22:07 -0400, Eli Schwartz wrote:
> On 9/12/23 3:56 PM, Ulrich Mueller wrote:
> > > > > > > On Tue, 12 Sep 2023, Eli Schwartz wrote:
> >
> > > + mkdir -p "${BUILD_DIR}" || die
> > > + local -x
> > > DIST_EXTRA_CONFIG="${BUILD_DIR}/extra-setup.cfg"
> > > + cat > "${DIST_EXTRA_CONFIG}" <<-EOF
> > > + [build]
> > > + build_base = ${BUILD_DIR}/build
> > > +
> > > + [build_ext]
> > > + parallel = ${jobs}
> > > + EOF
> >
> > "|| die" should also be added for the cat command.
>
>
> Redirecting output to a file in a directory you have just guaranteed to
> exist cannot fail.
Eh, you make me prove you wrong:
# cat > dupa <<-EOF
blahblah
> EOF
cat: write error: No space left on device
--
Best regards,
Michał Górny
