#!/bin/sh

sed "s/player0/player1/" pingus-player0.xml > pingus-player1.xml
sed "s/player0/player2/" pingus-player0.xml > pingus-player2.xml
sed "s/player0/player3/" pingus-player0.xml > pingus-player3.xml
#!/bin/sh

sed "s/player0/player1/" pingus-player0.xml > pingus-player1.xml
sed "s/player0/player2/" pingus-player0.xml > pingus-player2.xml
sed "s/player0/player3/" pingus-player0.xml > pingus-player3.xml
