Changes between Version 6 and Version 7 of Ticket #33113


Ignore:
Timestamp:
01/05/22 20:10:20 (6 months ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #33113 – Description

    v6 v7  
    99- 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.
    1010
    11 - 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.
    12 
    13 - Make docker image smaller by using `mv` instead of `cp` when installing packages via DESTDIR staging (https://trac.sagemath.org/ticket/29585#comment:5)
    14 
    1511- Add gitpod badge to trac tickets:
    1612  Image `https://img.shields.io/badge/-Gitpod-908a85?logo=gitpod`