Ticket #11640 (closed enhancement: fixed)

Opened 22 months ago

Last modified 21 months ago

Remove DB_HOME in preference of SAGE_DATA

Reported by: rohana Owned by: jason
Priority: major Milestone: sage-4.7.2
Component: misc Keywords: SAGE_DATA, DB_HOME
Cc: cremona, was Work issues:
Report Upstream: N/A Reviewers: Tom Boothby
Authors: R. Andrew Ohana Merged in: sage-4.7.2.alpha3
Dependencies: Stopgaps:

Description (last modified by leif) (diff)

Currently DB_HOME is defined in various files throughout Sage, and in all but one case they point to SAGE_DATA. I've attached a patch to remove these in preference of the, in my opinion, more standard SAGE_DATA.

Apply trac_11640.patch Download to the Sage library.

Attachments

trac_11640.patch Download (10.3 KB) - added by rohana 22 months ago.

Change History

Changed 22 months ago by rohana

comment:1 Changed 22 months ago by rohana

  • Status changed from new to needs_review

comment:2 Changed 21 months ago by boothby

  • Status changed from needs_review to positive_review

looks good, works good.

comment:3 Changed 21 months ago by boothby

  • Reviewers set to Tom Boothby
  • Authors set to Andrew Ohana

comment:4 Changed 21 months ago by leif

  • Description modified (diff)
  • Authors changed from Andrew Ohana to R. Andrew Ohana

comment:5 Changed 21 months ago by leif

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