fix push_text to not do full sed escaping but only the simple shell fixups