# stolen from python docs def trim(docstring): if not docstring: return "" # Convert tabs to spaces (following the normal Python rules) # and split into a list of lines: lines = docstring.expandtabs().splitlines() # Determine minimum indentation (first line doesn't count): indent = 232323 for line in lines[1:]: stripped = line.lstrip() if stripped: indent = min(indent, len(line) - len(stripped)) # Remove indentation (first line is special): trimmed = [lines[0].strip()] if indent < 232323: for line in lines[1:]: trimmed.append(line[indent:].rstrip()) # Strip off trailing and leading blank lines: while trimmed and not trimmed[-1]: trimmed.pop() while trimmed and not trimmed[0]: trimmed.pop(0) # Return a single string: return "\n".join(trimmed) # dont want envs which contain these kill_strs = [ "eterministic", "ALE", "-ram", "Frameskip", "Hard", "LanderContinu", "8x8", "uessing", "otter", "oinflip", "hain", "oulette", "DomainRandom", "RacingDiscrete", ]