On Wed, Mar 22, 2017 at 4:01 PM, Johannes Schindelin <johannes.schinde...@gmx.de> wrote:
> Noticed by Sebastian Schuberth. Thanks for working on the fix. > +# set up fake editor to replace `pick` by `reword` > +cat > reword-editor <<'EOF' > +#!/bin/sh > +mv "$1" "$1".bup && > +sed 's/^pick/reword/' <"$1".bup >"$1" > +EOF Maybe use sed -i 's/^pick/reword/' "$1" here to avoid renaming the input file? Not sure how portable -i for sed is, though. Otherwise, maybe remove the file "$1".bup afterwards to be clean? -- Sebastian Schuberth
