Changes between Version 2 and Version 4 of Ticket #33113


Ignore:
Timestamp:
01/04/22 12:51:47 (6 months ago)
Author:
gh-tobiasdiez
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #33113

    • Property Dependencies changed from #33103 to #30677, #33103
  • Ticket #33113 – Description

    v2 v4  
    1111- 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.
    1212
    13 - 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)
     13- 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 the `install-packages` script https://github.com/gitpod-io/workspace-images/blob/master/base/install-packages which does a bit of cleanup after the installation.
    1414
    1515- Make docker image smaller by using `mv` instead of `cp` when installing packages via DESTDIR staging (https://trac.sagemath.org/ticket/29585#comment:5)
    1616
     17- Add gitpod badge to trac tickets:
     18  Image `https://img.shields.io/badge/-Gitpod-908a85?logo=gitpod`
     19  Link `https://gitpod.io/#https://github.com/sagemath/sagetrac-mirror/tree/<branch>`