5 Commits

Author	SHA1	Message	Date
Jens Petersen	5c75502003	[docker] install awscli from Ubuntu and add rclone	2024-07-09 17:23:40 +08:00
Jens Petersen	ee4e2d243d	Docker: remove various stale commented-out lines	2023-06-12 19:15:08 +02:00
Jens Petersen	d8d8f6e9c1	make unzip awscliv2.zip quiet	2022-12-30 23:10:01 +08:00
Jens Petersen	ea2fead291	update docker image to Ubuntu/pid1 22.04 LTS ... - drop embedding ghc and stack - use libz3-dev	2022-12-30 23:03:37 +08:00
Adam Bergmark	431c2b0933	Upgrade docker image to ubuntu 20.04	2022-06-06 20:03:34 +02:00