#14055: Fix sage-cleaner
----------------------------------+-----------------------------------------
       Reporter:  jdemeyer        |         Owner:  leif                        
 
           Type:  defect          |        Status:  needs_review                
 
       Priority:  critical        |     Milestone:  sage-5.9                    
 
      Component:  scripts         |    Resolution:                              
 
       Keywords:  orphans         |   Work issues:                              
 
Report Upstream:  N/A             |     Reviewers:  John Palmieri, Leif 
Leonhardy
        Authors:  Jeroen Demeyer  |     Merged in:                              
 
   Dependencies:                  |      Stopgaps:                              
 
----------------------------------+-----------------------------------------

Comment (by jhpalmieri):

 Replying to [comment:8 jdemeyer]:
 > Replying to [comment:4 jhpalmieri]:
 > > Is there any good reason for having both directories `tmp` and `temp`?
 > Absolutely not, but at least the directory used in `sage-cleaner` should
 match the directory used in the Sage library.

 Where is `DOTSAGE/tmp` used? Certainly the `temp` version is used in the
 definition of `SAGE_TMP`, so that is ubiquitous. For the file `cleaner-
 HOSTNAME.pid`, is that referenced anywhere in the Sage library? It looks
 like we could put that file in `temp` instead of `tmp` safely. Indeed, I
 can't find any other references to `DOTSAGE/tmp`...

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14055#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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to