> 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.
