Changes between Initial Version and Version 1 of Ticket #14031


Ignore:
Timestamp:
01/29/13 05:49:00 (7 years ago)
Author:
dimpase
Comment:

Is this the right way to provide patches for sage_scripts?

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14031

    • Property Status changed from new to needs_review
    • Property Cc kcrisman jpflori added
  • Ticket #14031 – Description

    initial v1  
    22needs manual labour. This patch provides a modified dash script, and an MSDOS batch file, to make this more automatic. One will only needs to adjust {{{SAGE_ROOT}}} in the batch file once (per Sage install).
    33
    4 Apply to sage_scripts:
     4'''Apply''' to {{{sage_scripts}}}:
     5
     6 * [attachment:trac_14031.patch]