Changes between Version 1 and Version 2 of Ticket #13407


Ignore:
Timestamp:
09/14/12 09:41:52 (10 years ago)
Author:
jdemeyer
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #13407

    • Property Dependencies changed from to #13397, #13452
  • Ticket #13407 – Description

    v1 v2  
    2020}}}
    2121
    22 The most obvious solution is to fix `sage-make_relative` to first open the file only for reading and then reopen it for writing only if needed.
    23 
    24 However, I think a better solution is to move `sage-make_relative` to `sage-location`: the latter script is intented precisely to fix relocation issues.  It would also be faster, as currently every file in `$SAGE_LOCAL/bin` is checked after every package is installed.
     22The best solution is to move `sage-make_relative` to `sage-location`: the latter script is intented precisely to fix relocation issues.  It would also be faster, as currently every file in `$SAGE_LOCAL/bin` is checked after every package is installed.  It also means we need a mechanism to force a `sage-location` run even when the installation tree hasn't moved.  For this, I propose to use the existence of the file
     23{{{
     24$SAGE_LOCAL/lib/sage-force-relocate.txt
     25}}}