Opened 7 months ago
Last modified 2 weeks ago
#33113 new enhancement
gitpod usability improvements — at Version 6
Reported by: | mkoeppe | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-9.7 |
Component: | user interface | Keywords: | |
Cc: | gh-tobiasdiez, dimpase | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | #30677, #33103 | Stopgaps: |
Description (last modified by )
- 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
- The scipy folks have some good documentation and configuration (https://scipy.github.io/devdocs/dev/contributor/quickstart_gitpod.html), perhaps we can lift something from there.
- The docker image is quite big and thus it takes long to open a new gitpod workspace. (from https://trac.sagemath.org/ticket/33103#comment:19): could use
docker/.gitpod.Dockerfile
again with COPY --from to make the final image smaller (e.g., currently /home/gitpod/sage has the old source tree) Also installation of system packages should make use of theinstall-packages
script https://github.com/gitpod-io/workspace-images/blob/master/base/install-packages which does a bit of cleanup after the installation.
- Make docker image smaller by using
mv
instead ofcp
when installing packages via DESTDIR staging (https://trac.sagemath.org/ticket/29585#comment:5)
- Add gitpod badge to trac tickets:
Image
https://img.shields.io/badge/-Gitpod-908a85?logo=gitpod
Linkhttps://gitpod.io/#https://github.com/sagemath/sagetrac-mirror/tree/<branch>
- Remove popup notifications:
- "Snooty language server is not installed or out of date."
Change History (6)
comment:1 Changed 7 months ago by
- Description modified (diff)
comment:2 Changed 7 months ago by
- Description modified (diff)
comment:3 Changed 7 months ago by
- Dependencies changed from #33103 to #30677, #33103
comment:4 Changed 7 months ago by
- Description modified (diff)
comment:5 Changed 7 months ago by
- Description modified (diff)
comment:6 Changed 7 months ago by
- Description modified (diff)
Note: See
TracTickets for help on using
tickets.