[sage-devel] Re: sage -f locally

2010-11-08 Thread Volker Braun
How about making a copy of the SAGE_ROOT directory tree with files linked instead of copied: cp -lr /usr/local/sage ~/sage Then use ~/sage/sage. Saves space yet allows you to modify the local directory tree. Volker On Nov 8, 8:41 am, Jason Grout wrote: > On 11/8/10 7:34 AM, Martin Rubey wro

Re: [sage-devel] Re: sage -f locally

2010-11-08 Thread John Cremona
Why not just take a copy of the global installation into your own space? Assuming you have 2.5G free space... John On Mon, Nov 8, 2010 at 1:45 PM, Martin Rubey wrote: > Jason Grout writes: > >> On 11/8/10 7:34 AM, Martin Rubey wrote: >>> is there a possibility for installing optional packages

Re: [sage-devel] Re: sage -f locally

2010-11-08 Thread Martin Rubey
Jason Grout writes: > On 11/8/10 7:34 AM, Martin Rubey wrote: >> is there a possibility for installing optional packages on top of a >> existing *global* sage installation *locally*, i.e., without root >> rights? >> >> I tried >> >> sage -f foo.spkg >> >> but it failed of course with permission d

[sage-devel] Re: sage -f locally

2010-11-08 Thread Jason Grout
On 11/8/10 7:34 AM, Martin Rubey wrote: is there a possibility for installing optional packages on top of a existing *global* sage installation *locally*, i.e., without root rights? I tried sage -f foo.spkg but it failed of course with permission denied... That would be a very interesting i