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
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
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
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