#13574: sage-spkg: check much earlier whether package is already installed
----------------------------------+-----------------------------------------
       Reporter:  jdemeyer        |         Owner:  GeorgSWeber 
           Type:  enhancement     |        Status:  needs_review
       Priority:  major           |     Milestone:  sage-5.5    
      Component:  build           |    Resolution:              
       Keywords:                  |   Work issues:              
Report Upstream:  N/A             |     Reviewers:              
        Authors:  Jeroen Demeyer  |     Merged in:              
   Dependencies:                  |      Stopgaps:              
----------------------------------+-----------------------------------------

Comment (by jdemeyer):

 Replying to [comment:9 jhpalmieri]:
 > When getting the info on-line, the "`| cat`" in `sage-download-file
 "$PKG_URL" | cat` should not be necessary, but without it, the file is
 dumped to standard output in the middle of some brackets printed by sage-
 download-file. Should I instead do `sage-download-file "$PKG_URL" 2>
 /dev/null`? I don't want to lose important error messages.

 The `| cat` is a silly hack which just happens to work because of I/O
 buffers.  I would redirect `2>/dev/null`.  For `./sage --info`, I don't
 want to rely anyway on the existence of those `.txt` files.  In case
 downloading the txt file fails (and we don't see the error message),
 simply fall back to the old method of downloading the spkg and extracting
 `SPKG.txt`.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13574#comment:11>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to