From 13086d0af39ce60686f52eb66f2e7f3142249b16 Mon Sep 17 00:00:00 2001 From: Vincent Vermeulen Date: Sun, 12 Jan 2020 23:05:08 +0100 Subject: [PATCH] apt-add-repository: allow deb options Update the RE to allow for deb options like [arch=amd64] in the repository line when adding repository through apt-add-repository. --- usr/lib/linuxmint/mintSources/mintSources.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/usr/lib/linuxmint/mintSources/mintSources.py b/usr/lib/linuxmint/mintSources/mintSources.py index eb206d9..4f8e5ca 100755 --- a/usr/lib/linuxmint/mintSources/mintSources.py +++ b/usr/lib/linuxmint/mintSources/mintSources.py @@ -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