Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > gnu.bash.bug > #15689

Re: make install failed; dump core in mkdir

From Greg Wooledge <wooledg@eeg.ccf.org>
Newsgroups gnu.bash.bug
Subject Re: make install failed; dump core in mkdir
Date 2019-12-02 10:12 -0500
Message-ID <mailman.129.1575299533.1979.bug-bash@gnu.org> (permalink)
References (3 earlier) <20191202143843.GA43338@pooh.my.domain> <0ee0fed4-4542-85c7-7889-2f73b5fd31ce@passchier.net> <20191202145639.GV851@eeg.ccf.org> <cb711f35-9786-1fbf-5829-edb60bebf007@archlinux.org> <20191202151203.GW851@eeg.ccf.org>

Show all headers | View raw


On Mon, Dec 02, 2019 at 10:06:36AM -0500, Eli Schwartz wrote:
> But I think I'll still use them despite being not strictly needed, or
> I'll just confuse myself once I do need them. :p I've used them for too
> long by now, anyway.

Yeah, same here.  I prefer it with the semicolon.

Back to gnu.bash.bug | Previous | Next | Find similar | Unroll thread


Thread

Re: make install failed; dump core in mkdir Greg Wooledge <wooledg@eeg.ccf.org> - 2019-12-02 10:12 -0500

csiph-web