Opened 8 years ago

Closed 8 years ago

#14417 closed enhancement (fixed)

Various cleanup of scripts

Reported by: jdemeyer Owned by: leif
Priority: minor Milestone: sage-5.10
Component: scripts Keywords:
Cc: ohanar, ohanar Merged in: sage-5.10.beta3
Authors: Jeroen Demeyer Reviewers: R. Andrew Ohana
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #14377 Stopgaps:

Status badges

Description (last modified by leif)

  1. remove sage-apply-ticket (current release manager doesn't use it and superseded by GIT dev scripts)
  2. remove unused sage-monitor
  3. support and use SAGE_SRC environment variable
  4. (re-)silence make when just testing whether "all" is up-to-date (in spkg/install)
  5. other random stuff

Attachments (2)

14417_root.patch (3.2 KB) - added by jdemeyer 8 years ago.
14417_clean_scripts.patch (32.0 KB) - added by jdemeyer 8 years ago.

Download all attachments as: .zip

Change History (11)

comment:1 Changed 8 years ago by jdemeyer

  • Description modified (diff)

comment:2 Changed 8 years ago by jdemeyer

  • Description modified (diff)

comment:3 Changed 8 years ago by jdemeyer

  • Authors set to Jeroen Demeyer
  • Dependencies set to #14377
  • Description modified (diff)

comment:4 Changed 8 years ago by jdemeyer

  • Status changed from new to needs_review

Changed 8 years ago by jdemeyer

Changed 8 years ago by jdemeyer

comment:5 Changed 8 years ago by jdemeyer

Any chance for a review of these patches?

comment:6 Changed 8 years ago by ohanar

  • Reviewers set to R. Andrew Ohana
  • Status changed from needs_review to positive_review

looks good

comment:7 Changed 8 years ago by leif

  • Description modified (diff)

Thanks!

comment:8 Changed 8 years ago by leif

Only the commit message for the root repo patch is a bit misleading (as the patch does not only introduce SAGE_SRC).

comment:9 Changed 8 years ago by jdemeyer

  • Merged in set to sage-5.10.beta3
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.