| 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. |
| | 22 | The 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 | }}} |
