You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
Currently
DB_HOME
is defined in various files throughout Sage, and in all but one case they point toSAGE_DATA
. I've attached a patch to remove these in preference of the, in my opinion, more standardSAGE_DATA
.Apply attachment: trac_11640.patch to the Sage library.
CC: @JohnCremona @williamstein
Component: misc
Keywords: SAGE_DATA, DB_HOME
Author: R. Andrew Ohana
Reviewer: Tom Boothby
Merged: sage-4.7.2.alpha3
Issue created by migration from https://trac.sagemath.org/ticket/11640
The text was updated successfully, but these errors were encountered: