Handle "os.mbed.com" URL as Mercurial (hg) repository

This commit is contained in:
Ivan Kravets committed 2018-01-24 14:56:15 +02:00
1 parent e615e7529e
commit c0b277d9c8
2 files changed
+8 -1

No files matched your search

+3 -1
View File
@@ -553,7 +553,9 @@ class BasePkgManager(PkgRepoMixin, PkgInstallerMixin):
hg_conditions = [
# Handle Developer Mbed URL
# (https://developer.mbed.org/users/user/code/package/)
text.startswith("https://developer.mbed.org")
# (https://os.mbed.com/users/user/code/package/)
text.startswith("https://developer.mbed.org"),
text.startswith("https://os.mbed.com")
]
if any(git_conditions):
url = "git+" + text