Step 1: sage -unzip. http://trac.sagemath.org/ticket/19484
Let's see if one can fight a headache with sage scripts and pumpkin soup. Nathann On 27 October 2015 at 13:27, Nathann Cohen <nathann.co...@gmail.com> wrote: >> we had such a discussion before here, and the conclusion was that it's >> possible, and one can use >> Python's zip library for unzipping. Not that it was followed through, IMHO > > > Oh I see. > > Well, given that I am stuck home with a flu and headache I will give it a > try. See if my brain in its current state can manage that. > > Not sure that it will be very easy though, all our package management > scripts are written in shell. > > Maybe I should just add a python script sage-unzip that does the unzipping > job. > > I'll add a message here if anything happens. > > Nathann > > -- > You received this message because you are subscribed to a topic in the > Google Groups "sage-devel" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/sage-devel/1uoTUsQ29Sw/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
