convert python to sed