Skip to content

Commit

Permalink
apt-add-repository: allow deb options
Browse files Browse the repository at this point in the history
Update the RE to allow for deb options like [arch=amd64] in the repository line when adding repository through apt-add-repository.
  • Loading branch information
Vincent Vermeulen authored and mtwebster committed Jan 13, 2020
1 parent faa4ac9 commit 13086d0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion usr/lib/linuxmint/mintSources/mintSources.py
Original file line number Diff line number Diff line change
Expand Up @@ -208,7 +208,7 @@ def add_key_remote(key):
return True

def repo_malformed(line):
r = re.compile(r'(?:deb|deb-src)\s+\w+:/\S+?/?\s+\S+')
r = re.compile(r'(?:deb|deb-src)\s+(?:\[[^\]]+\])?\s+\w+:/\S+?/?\s+\S+')
match_line = r.match(line)
if not match_line:
return True
Expand Down

0 comments on commit 13086d0

Please sign in to comment.