def _exec_from_file(self, filename, quiet=False):
previous = ''
for stmt in open(filename):
# - skip over multiple empty lines
stripped = stmt.strip()
if stripped == '' and stripped == previous:
continue
if not quiet:
self.write(cyan("... {}".format(stmt)))
if not stripped.startswith('#'):
line = stmt.strip('\n')
self.push(line)
readline.add_history(line)
previous = stripped
评论列表
文章目录