* uses /bin/sh instead of /bin/bash,
* uses -r (GNU extension, tell me, if we do not want this!) so we have less backslashes,
* uses | as a separator now, so / does not need to be escaped,
* does not escape characters that do not need to be escaped (spaces) and therefore
* has an overall improved readability.
There should not be any changes to the behaviour/actions of sed, it is a purely cosmetic commit.
git-svn-id: https://warzone2100.svn.sourceforge.net/svnroot/warzone2100/trunk@10627 4a71c877-e1ca-e34f-864e-861f7616d084