Re: sed r option | insert file

"Jim Hill [email protected] [sed-users]" <[email protected]> Sun, 18 Dec 2016 14:38:06 -0800

Newsgroups	gmane.editors.sed.user
Message-ID	<CAEE75_2dL9fCoZqKNJGxyv=qeAxEGPTV4g3n5HyEsOHVtxmCyw@mail.gmail.com>

. . . that should be `sed '/start/,/end/ { //!d; /start/ r file1.txt'`
and it works whether or not the last line is present . . . sorry for
noise.