2 | | - `build/bin/write_dockerfile.sh`, introduced in #29053, determines lists of system packages in a rather crude way. This should be improved. |
3 | | - instead of passing `TYPE_PATTERN` to `build/bin/write_dockerfile.sh`, do the work in `tox.ini`. |
4 | | - helper scripts for extracting lists of packages according to criteria |
5 | | - possibly, by extending and using `sage_bootstrap` |
| 2 | - `build/bin/write_dockerfile.sh`, introduced in #29053, determines lists of system packages in a rather crude way. This should be improved. #30861 |
| 3 | - instead of passing `TYPE_PATTERN` to `build/bin/write_dockerfile.sh`, do the work in `tox.ini`. |
| 4 | - helper scripts for extracting lists of packages according to criteria |
| 5 | - possibly, by extending and using `sage_bootstrap` |