Re: [sage-devel] deinstallation of spkg

2013-04-08 Thread Julien Puydt
Le 08/04/2013 13:57, John Cremona a écrit : On 8 April 2013 12:50, Ralf Hemmecke wrote: On 04/08/2013 01:39 PM, David Roe wrote: There are various people working on making this possible, but it requires a lot of changes to Sage's packaging system. As Jeroen says, this is not currently possibl

Re: [sage-devel] deinstallation of spkg

2013-04-08 Thread John Cremona
On 8 April 2013 12:50, Ralf Hemmecke wrote: > On 04/08/2013 01:39 PM, David Roe wrote: >> There are various people working on making this possible, but it requires a >> lot of changes to Sage's packaging system. As Jeroen says, this is not >> currently possible. > > Thanks, but then another quest

Re: [sage-devel] deinstallation of spkg

2013-04-08 Thread Ralf Hemmecke
On 04/08/2013 01:39 PM, David Roe wrote: > There are various people working on making this possible, but it requires a > lot of changes to Sage's packaging system. As Jeroen says, this is not > currently possible. Thanks, but then another question. We have Sage installed centrally and would like

Re: [sage-devel] deinstallation of spkg

2013-04-08 Thread David Roe
There are various people working on making this possible, but it requires a lot of changes to Sage's packaging system. As Jeroen says, this is not currently possible. David On Mon, Apr 8, 2013 at 2:25 AM, Jeroen Demeyer wrote: > On 04/08/2013 10:17 AM, Ralf Hemmecke wrote: > >> Is there a way t

Re: [sage-devel] deinstallation of spkg

2013-04-08 Thread Jeroen Demeyer
On 04/08/2013 10:17 AM, Ralf Hemmecke wrote: Is there a way to undo "sage -i somepackage", i.e. deinstall a package? No. -- 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 em

[sage-devel] deinstallation of spkg

2013-04-08 Thread Ralf Hemmecke
Is there a way to undo "sage -i somepackage", i.e. deinstall a package? Ralf -- 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.c