Jag behöver ändra i ett gäng config-filer och försöker göra detta med ett script. Men hur gör jag för att byta ut porten i följande exempel:
<Server port="8006" shutdown="SHUTDOWN">
Jag har provat: sed -r 's/port="(\d{4})"\sshutdown/\1NyPort/' men får inte till det.