ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Update style

pull/1976/head
Jimmy Brisson 2016-06-24 12:04:31 -05:00
parent 7e5deaa7d0
commit d757f35d15
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tools/utils.py
View File

@ -225,8 +225,10 @@ def argparse_many(fn):
return wrap return wrap
def argparse_filestring_type(string) : def argparse_filestring_type(string) :
if exists(string) : return string if exists(string) :
else : raise argparse.ArgumentTypeError("{0} does not exist in the filesystem.".format(string)) return string
else :
raise argparse.ArgumentTypeError("{0}"" does not exist in the filesystem.".format(string))
def columnate(strings, seperator=", ", chars=80): def columnate(strings, seperator=", ", chars=80):
col_width = max(len(s) for s in strings) col_width = max(len(s) for s in strings)