Ben Knoble <ben.knoble@xxxxxxxxx> writes: >> Le 15 mai 2025 à 11:56, Junio C Hamano <gitster@xxxxxxxxx> a écrit : >> >> Phillip Wood <phillip.wood123@xxxxxxxxx> writes: >> >>>> - grep -v -e \# -e ^$ work >patches && >>>> + sed -e s/#.*// work | grep -v ^$ >patches && >>> >>> I think we could just use 'sed -n "!/^#/p work >patches &&" here >> >> Or even "sed -e '/^#/d' -e '/^$/d'" ? > > I’m probably missing something obvious, but why step away from "grep -v -e ^\# -e ^$"? A one character change from the original ;) If we must go with Sed, I’d prefer Junio’s construct (combining, with obvious semantics via "d") over the sed|grep pipeline. Mine was a spinal reflex against piping sed and grep; I do not see a reason why "grep -v" with two patterns like you gave should not work---that is a good way to remove the pipe, too. Thanks.
