Changes between Version 1 and Version 2 of Ticket #33113


Ignore:
Timestamp:
01/03/22 20:42:47 (6 months ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #33113 – Description

    v1 v2  
    1212
    1313- 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)
     14
     15- Make docker image smaller by using `mv` instead of `cp` when installing packages via DESTDIR staging (https://trac.sagemath.org/ticket/29585#comment:5)
     16