4 Commits

Author	SHA1	Message	Date
Peter Dave Hello	6c5f27d7f1	Speed up Docker image build and make image smaller ... Run `apt-get upgrade` right after `apt-get install`, instead of cleaning up apt index first, do `apt-get update` again, then `apt-get upgrade`. This will save some build time and disk space, because it didn't clean up apt index after the `apt-get upgrade` before.	2023-05-22 22:57:38 +08:00
Sébastien T	6a9c34d408	prevent install all models	2023-04-03 10:39:52 +02:00
Sébastien T	24fb27dfe4	upgrade babel	2023-04-03 10:39:00 +02:00
Piero Toffanin	256e63f535	Do not hide docker folder	2023-01-13 10:24:56 -05:00