Docker: Cache cargo downloads with named volume (!1044) · Merge requests · redox-os / redox

Jeremy Soller requested to merge andre-richter:master into master Aug 29, 2017

Created by: andre-richter

Problem: Currently, cargo downloads dependencies on every single run.

Solution: Get rid of this overhead by caching /home/user/.cargo in a named volume.

Changes introduced by this pull request: Changes in docker/README.md

Drawbacks: Some additional disk space for the named volume is occupied.

TODOs:

Fixes:

State: ready

Blocking/related:

Other:

Docker: Cache cargo downloads with named volume