Method add_command

tools/creduce.py:39–43

(self, cmd, save=False)

        self.commands.append('')

    def add_command(self, cmd, save=False):
        if save:
            self.commands.append(cmd + ' 2>&1 | tee .tmp.output')
        else:
            self.commands.append(cmd)

    def grep(self, text, file=None):
        self.add_command("grep -q -F {} {}".format(quote(text), file or '.tmp.output'))