Function get_file_suffix

tools/utils.py:119–128

Return the essential suffix of a filename, discarding Unix-style version numbers. For example for 'libz.so.1.2.8' returns '.so'

(filename)

def get_file_suffix(filename):
  """Return the essential suffix of a filename, discarding Unix-style version numbers.

  For example for 'libz.so.1.2.8' returns '.so'
  """
  while filename:
    filename, suffix = os.path.splitext(filename)
    if not suffix[1:].isdigit():
      return suffix
  return ''


def normalize_path(path):