HomeSoftware Heritage

docker/Dockefile: clean the $HOME/.cache/ at the end of the build

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

docker/Dockefile: clean the $HOME/.cache/ at the end of the build

to reduce a bit the size of the image.

Details

Provenance
douarddaAuthored on Dec 9 2019, 4:04 PM
douarddaPushed on Dec 9 2019, 4:40 PM
Differential Revision
D2415: docker/Dockefile: clean the $HOME/.cache/ at the end of the build

Commit No Longer Exists

This commit no longer exists in the repository.