code: def p_redirection_list(p):
      '''redirection_list : redirection
                          | redirection_list redirection'''
      if len(p) == 2:
          p[0] = [p[1]]
      else:
          p[0] = p[1]
          p[0].append(p[2]f p_redirection_list(p):
      '''redirection_list : redirection
                          | redirection_list redirection'''
      if len(p) == 2:
          p[0] = [p[1]]
      else:
          p[0] = p[1]
          p[0].append(p[2])
docs: redirection_list : redirection
                          | redirection_list redirection