2022-09-13 20:27:34 +01:00
|
|
|
# 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",
|
2023-01-27 17:00:45 +00:00
|
|
|
"GymV21Environment",
|
2022-09-13 20:27:34 +01:00
|
|
|
]
|