Opened 11 months ago

Last modified 3 months ago

#33113 new enhancement

Meta-ticket: Gitpod usability improvements

Reported by: Matthias Köppe Owned by:
Priority: major Milestone: sage-9.8
Component: user interface Keywords:
Cc: Tobias Diez, Dima Pasechnik Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by Matthias Köppe)

  • Added gitpod badge to trac tickets: Image https://img.shields.io/badge/-Gitpod-908a85?logo=gitpod Link https://gitpod.io/#https://github.com/sagemath/sagetrac-mirror/tree/<branch>
  • #33450 Improve vs code config
  • #33589 Gitpod: track remote trac branch
  • #33739 Migrate gitpod to conda
  • #33613 Gitpod: Install git-trac-command
  • #34255 docker
  • Prebuild of develop branch is not available (probably because the prebuild of the develop branch still uses the old docker image)
  • #32753 Prefer Linux package manager over linuxbrew (or remove linuxbrew from the Docker image)
  • in the terminal, viewing graphics silently does nothing
    sage: polytopes.cube().show()
    Launched html viewer for Graphics3d Object
    sage: polytopes.regular_polygon(5).show()
    Launched png viewer for Graphics object consisting of 7 graphics primitives
    
  • Remove popup notifications:
    • "Snooty language server is not installed or out of date."
  • Extensions for:
    • Cython
    • autoconf

Change History (37)

comment:1 Changed 11 months ago by Matthias Köppe

Description: modified (diff)

comment:2 Changed 11 months ago by Matthias Köppe

Description: modified (diff)

comment:3 Changed 11 months ago by Matthias Köppe

Dependencies: #33103#30677, #33103

comment:4 Changed 11 months ago by Tobias Diez

Description: modified (diff)

comment:5 Changed 11 months ago by Matthias Köppe

Description: modified (diff)

comment:6 Changed 11 months ago by Matthias Köppe

Description: modified (diff)

comment:7 Changed 11 months ago by Matthias Köppe

Description: modified (diff)

comment:8 Changed 11 months ago by Matthias Köppe

Description: modified (diff)

comment:9 Changed 11 months ago by Matthias Köppe

Description: modified (diff)
Milestone: sage-9.5sage-9.6

comment:10 Changed 11 months ago by Matthias Köppe

Description: modified (diff)

comment:11 Changed 11 months ago by Matthias Köppe

Description: modified (diff)

comment:12 Changed 11 months ago by Matthias Köppe

Cc: Dima Pasechnik added

comment:13 Changed 11 months ago by Matthias Köppe

Description: modified (diff)

comment:14 Changed 10 months ago by Matthias Köppe

Summary: gitpod usability improvementsMeta-ticket: Gitpod usability improvements

comment:15 Changed 10 months ago by Matthias Köppe

Dependencies: #30677, #33103

comment:16 Changed 10 months ago by Matthias Köppe

Description: modified (diff)

comment:17 Changed 10 months ago by Matthias Köppe

Description: modified (diff)

comment:18 Changed 10 months ago by Matthias Köppe

Ticket branches are often based on an older beta version. Given that we build on top of the Docker image for the current beta version (dev), shouldn't we attempt to merge the branch into the base of the Docker image and build that?

comment:19 Changed 10 months ago by Tobias Diez

Isn't this what the prebuild at gitpod is essentially doing?

comment:20 Changed 9 months ago by Matthias Köppe

Description: modified (diff)

comment:21 in reply to:  19 Changed 9 months ago by Matthias Köppe

Replying to gh-tobiasdiez:

Isn't this what the prebuild at gitpod is essentially doing?

No, it's not merging. It's building the top of the branch.

comment:22 Changed 9 months ago by Tobias Diez

Then I don't understand what you mean. The docker image used by gitpod is the same for all branches.

comment:23 Changed 9 months ago by Matthias Köppe

Yes, it is, and it is based on the latest beta.

The branch that is being tested, however, may be based on a much older beta. When building this branch, it will downgrade packages to the versions recorded in that older beta.

comment:24 Changed 9 months ago by Tobias Diez

Yes, that's the current behavior, right? So what are you proposing to improve there?

comment:25 Changed 8 months ago by Matthias Köppe

As I said in comment:18, to merge the current branch into the branch from which the Docker image has been built.

comment:26 Changed 8 months ago by Tobias Diez

Description: modified (diff)

comment:27 in reply to:  25 ; Changed 8 months ago by Tobias Diez

Replying to mkoeppe:

As I said in comment:18, to merge the current branch into the branch from which the Docker image has been built.

So you want to merge the develop branch into the branch that is open in gitpod?

Note also that gitpod prebuild the branch when a new commit arrives. Thus the docker image used is the one that had been published when the branch had its last commit.

comment:28 Changed 8 months ago by Tobias Diez

Description: modified (diff)

comment:29 in reply to:  27 Changed 8 months ago by Matthias Köppe

Replying to gh-tobiasdiez:

Replying to mkoeppe:

As I said in comment:18, to merge the current branch into the branch from which the Docker image has been built.

So you want to merge the develop branch into the branch that is open in gitpod?

Technically not the develop branch but the ref from which the Docker image has been built. Most of the times, that's the same.

comment:30 in reply to:  27 Changed 8 months ago by Matthias Köppe

Replying to gh-tobiasdiez:

Note also that gitpod prebuild the branch when a new commit arrives. Thus the docker image used is the one that had been published when the branch had its last commit.

Yes, that's fine.

comment:31 Changed 8 months ago by Matthias Köppe

Description: modified (diff)

comment:32 Changed 7 months ago by Matthias Köppe

Milestone: sage-9.6sage-9.7

comment:33 Changed 7 months ago by Matthias Köppe

Description: modified (diff)

comment:34 Changed 4 months ago by Matthias Köppe

Description: modified (diff)

comment:35 Changed 4 months ago by Matthias Köppe

Description: modified (diff)

comment:36 Changed 4 months ago by Matthias Köppe

Description: modified (diff)

comment:37 Changed 3 months ago by Matthias Köppe

Milestone: sage-9.7sage-9.8
Note: See TracTickets for help on using tickets.