Sage upgrade issue

38 views
Skip to first unread message

Ethan Lin

unread,
Apr 3, 2020, 12:45:57 PM4/3/20
to sage-devel
Somehow I can seem to upgrade sage with the sage -upgrade command it gives me this error: error: cannot open .git/FETCH_HEAD: Permission denied

Dima Pasechnik

unread,
Apr 3, 2020, 12:57:45 PM4/3/20
to sage-devel
sage -upgrade is obsolete and should be removed.
It's better to install a new version from source.

On Sat, Apr 4, 2020 at 12:45 AM Ethan Lin <lineth...@gmail.com> wrote:
>
> Somehow I can seem to upgrade sage with the sage -upgrade command it gives me this error: error: cannot open .git/FETCH_HEAD: Permission denied
>
> --
> 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+...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/da1ada5d-249b-4081-9353-7c990ca6f433%40googlegroups.com.
Message has been deleted

Ethan Lin

unread,
Apr 3, 2020, 12:59:30 PM4/3/20
to sage-devel
sage-9.1.beta8 on Ubuntu Linux 20.04 LTS Focal Fossa.

Dima Pasechnik

unread,
Apr 3, 2020, 1:03:08 PM4/3/20
to sage-devel
On Sat, Apr 4, 2020 at 12:57 AM Ethan Lin <lineth...@gmail.com> wrote:
>
> sabe-9.1.beta8 on Ubuntu Linux 20.04 LTS Focal Fossa

Did you install it from source?
If so, then use git to get an update, then run

./bootstrap
make

otherwise, if it was binary, get a newer binary.

>
> --
> 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+...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/0ea35748-52ae-42bd-92e2-c9583e190470%40googlegroups.com.

Ethan Lin

unread,
Apr 3, 2020, 1:06:49 PM4/3/20
to sage-devel
So is it the master branch or the develop branch? and git push right?

Dima Pasechnik

unread,
Apr 3, 2020, 1:15:03 PM4/3/20
to sage-devel
On Sat, Apr 4, 2020 at 1:06 AM Ethan Lin <lineth...@gmail.com> wrote:
>
> So is it the master branch or the develop branch? and git push right?

it's develop branch (master is for releases), and it's pull, not push.

>
> --
> 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+...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/1df2b93a-7554-4732-ad5b-6e2fa2c498c1%40googlegroups.com.
Reply all
Reply to author
Forward
0 new messages