diff options
author | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-09-21 22:56:49 +0200 |
---|---|---|
committer | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-09-21 22:56:49 +0200 |
commit | 20b220c0219af4e77f1bddc06097c32b73ec44e1 (patch) | |
tree | 988b560ac93c619690f307ced51b4b0893f93cfb /res/controllers/DJ-Tech Mix-101.midi.xml | |
parent | dbb5c45d9124c2d1a5ca9a8c8d90f388d9818a72 (diff) |
controllers: Update Forum links
Done using this python script:
import re
import requests
import sys
def replace_forum_url(matchobj):
oldurl = matchobj.group(0).decode().replace("&", "&")
oldurl = "https://mixxx.discourse.group" + oldurl.partition("forums")[2]
print(oldurl)
req = requests.head(oldurl, allow_redirects=True)
return req.url.replace("&", "&").encode()
for file in sys.argv[1:]:
with open(file, mode="rb") as f:
content = f.read()
content = re.sub(rb'https?://mixxx.org/forums/[\w\?&;=\/\.]+', replace_forum_url, content)
with open(file, mode="wb") as f:
f.write(content)
Diffstat (limited to 'res/controllers/DJ-Tech Mix-101.midi.xml')
-rw-r--r-- | res/controllers/DJ-Tech Mix-101.midi.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/res/controllers/DJ-Tech Mix-101.midi.xml b/res/controllers/DJ-Tech Mix-101.midi.xml index 0097d27560..3b101aac02 100644 --- a/res/controllers/DJ-Tech Mix-101.midi.xml +++ b/res/controllers/DJ-Tech Mix-101.midi.xml @@ -3,7 +3,7 @@ <name>DJ-Tech MIX-101</name> <author>rasda</author> <description>MIDI mapping for DJ-Tech MIX-101</description> - <forums>http://mixxx.org/forums/viewtopic.php?f=7&t=3981</forums> + <forums>https://mixxx.discourse.group/t/dj-tech-mix-101-mapping/12679</forums> <manual>/hardware/controllers/dj_tech_mix_101.html</manual> </info> <controller id="Mix-101 MIDI 1"> |