Skip to content

Commit

Permalink
🔨 Fix config.ini URL fetch (MarlinFirmware#25313)
Browse files Browse the repository at this point in the history
  • Loading branch information
dgarnier authored Jan 31, 2023
1 parent 0c181fc commit d0a965a
Showing 1 changed file with 4 additions and 5 deletions.
9 changes: 4 additions & 5 deletions buildroot/share/PlatformIO/scripts/configuration.py
Original file line number Diff line number Diff line change
Expand Up @@ -85,13 +85,12 @@ def apply_opt(name, val, conf=None):
# Return True if any files were fetched.
def fetch_example(url):
if url.endswith("/"): url = url[:-1]
if url.startswith('http'):
url = url.replace("%", "%25").replace(" ", "%20")
else:
if not url.startswith('http'):
brch = "bugfix-2.1.x"
if '@' in path: path, brch = map(str.strip, path.split('@'))
if '@' in url: url, brch = map(str.strip, url.split('@'))
url = f"https://raw.githubusercontent.com/MarlinFirmware/Configurations/{brch}/config/{url}"

url = url.replace("%", "%25").replace(" ", "%20")

# Find a suitable fetch command
if shutil.which("curl") is not None:
fetch = "curl -L -s -S -f -o"
Expand Down

0 comments on commit d0a965a

Please sign in to comment.