@liw I tried as an experiment echo "foobarbazAnd how to edit previous lines from down there did not seem obvious to me.