123456789101112131415161718192021222324252627282930313233343536373839404142434445 |
- # 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",
- ]
|