Opened 2 years ago

Closed 17 months ago

#30474 closed enhancement (duplicate)

src/tox.ini: Get rid of `sh -c`

Reported by: mkoeppe Owned by:
Priority: minor Milestone: sage-duplicate/invalid/wontfix
Component: scripts Keywords:
Cc: gh-tobiasdiez Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges


(from #30467)

... for Windows compatibility.

  1. change sage --coverage so that it can invoke sage --coverageall if necessary. Then get rid of sh -c for all "sagedirect" environments.
  1. For relint, write a small python wrapper that takes care of the file/directory expansion

Change History (3)

comment:1 Changed 22 months ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-9.3

comment:2 Changed 18 months ago by mkoeppe

  • Milestone changed from sage-9.3 to sage-duplicate/invalid/wontfix
  • Status changed from new to needs_review

Done in #31402

comment:3 Changed 17 months ago by chapoton

  • Resolution set to duplicate
  • Status changed from needs_review to closed
Note: See TracTickets for help on using tickets.