Files
Gymnasium/docs/scripts/utils.py
Manuel Goulão 91769fc862 Add docs (#13)
2022-09-13 20:27:34 +01:00

45 lines
1.1 KiB
Python

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