Oops, I meant Matthias - my apologies.
On Tue, Jul 19, 2022 at 7:54 PM Ishaan Jolly wrote:
> Thanks Mattihas ! :) It works.
>
>
>
> On Tue, Jul 19, 2022 at 6:44 PM Matthias Koeppe
> wrote:
>
>> You need to run this command from the source directory of Sage, not from
>> your home directory.
>>
Thanks Mattihas ! :) It works.
On Tue, Jul 19, 2022 at 6:44 PM Matthias Koeppe
wrote:
> You need to run this command from the source directory of Sage, not from
> your home directory.
>
> On Tuesday, July 19, 2022 at 9:22:24 AM UTC-7 ijoll...@gmail.com wrote:
>
>> Um, yes, however it still doe
You need to run this command from the source directory of Sage, not from
your home directory.
On Tuesday, July 19, 2022 at 9:22:24 AM UTC-7 ijoll...@gmail.com wrote:
> Um, yes, however it still does not work.
> [image: Screenshot 2022-07-19 at 16.52.25.png]
>
>
>
> On Tue, Jul 19, 2022 at 4:32
It's SAGE_ROOT, not SAGEROOT
On Tuesday, July 19, 2022 at 7:36:41 AM UTC-7 ijoll...@gmail.com wrote:
> It says `(base) ishaanjolly@Ishaans-MacBook-Pro ~ % sudo ln -s $(./sage
> -sh -c 'ls $SAGEROOT/venv/bin/sage') /usr/local/bin/sage
> zsh: no such file or directory: ./sage`
>
> Did I do somet
