Changes between Initial Version and Version 3 of Ticket #28225


Ignore:
Timestamp:
Jul 21, 2019, 10:30:14 AM (3 years ago)
Author:
Antonio Rojas
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #28225

    • Property Authors changed from to Antonio Rojas
    • Property Cc Julian Rüth Isuru Fernando François Bissey Timo Kaufmann added
    • Property Component changed from PLEASE CHANGE to distribution
    • Property Dependencies changed from to #25786
    • Property Branch changed from to u/arojas/allow_sage_to_run_in_the_absence_of_sage_env
    • Property Commit changed from to dda6986e1a3b4c3d06150475d75a207c1e133394
  • Ticket #28225 – Description

    initial v3  
     1The sage-env script has never been particularly useful in distributions, and has actually been more of a nuisance: it needs to be heavily patched or even replaced with a custom one.
     2
     3After #25786 (which removes SAGE_DOC_SRC usage at runtime) the only use for it that I can think of is setting DOT_SAGE. This patch allows to completely do away with this script, by setting a fallback for DOT_SAGE in the sage executable.