arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-04-21 10:26:06 +03:00
Code

fix python regexp, '_' was missing (#5791)

Browse Source
This commit is contained in:
david gauchard 2019-02-20 00:10:51 +01:00 committed by Develo
parent 7745e99046
commit 044568c220
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/get.py
View File

@ -58,7 +58,7 @@ def unpack(filename, destination):
raise NotImplementedError('Unsupported archive type') raise NotImplementedError('Unsupported archive type')
# a little trick to rename tool directories so they don't contain version number # a little trick to rename tool directories so they don't contain version number
rename_to = re.match(r'^([a-z][^\-]*\-*)+', dirname).group(0).strip('-') rename_to = re.match(r'^([a-zA-Z_][^\-]*\-*)+', dirname).group(0).strip('-')
if rename_to != dirname: if rename_to != dirname:
print('Renaming {0} to {1}'.format(dirname, rename_to)) print('Renaming {0} to {1}'.format(dirname, rename_to))
if os.path.isdir(rename_to): if os.path.isdir(rename_to):