Make cache work offline #351
Description
The cache configuration feature is great and reduces bandwidth for creating/updating mbed OS projects.
When used, however, it still needs web access. If this restriction was removed (and perhaps defaulted to the latest known mbed OS cache version), the cache could be used to enable offline development.
With a populated cache and no internet access, the logs are as follows:
[mbed] Adding library "mbed-os" from "https://github.com/ARMmbed/mbed-os" at latest revision in the current branch
[mbed] Found matching cached repository in "/mbed_cache/github.com/ARMmbed/mbed-os"
[mbed] Carbon copy from "/mbed_cache/github.com/ARMmbed/mbed-os" to "/work/scratch/test/mbed-os"
[mbed] Update cached copy from remote repository
[mbed] Discarding local changes in "mbed-os"
[mbed] Fetching revisions from remote repository to "mbed-os"
[mbed] Exec "git fetch --all --tags" in /work/scratch/test/mbed-os
Fetching origin
fatal: unable to access 'https://github.com/ARMmbed/mbed-os/': Could not resolve host: github.com
error: Could not fetch origin
[mbed] Exec "git clone https://github.com/ARMmbed/mbed-os /work/scratch/test/mbed-os" in /work/scratch/test
Cloning into '/work/scratch/test/mbed-os'...
fatal: unable to access 'https://github.com/ARMmbed/mbed-os/': Could not resolve host: github.com
[mbed] Found matching cached repository in "/mbed_cache/github.com/ARMmbed/mbed-os"
[mbed] Carbon copy from "/mbed_cache/github.com/ARMmbed/mbed-os" to "/work/scratch/test/mbed-os"
[mbed] Update cached copy from remote repository
[mbed] Fetching revisions from remote repository to "mbed-os"
[mbed] Exec "hg pull" in /work/scratch/test/mbed-os
abort: no repository found in '/work/scratch/test/mbed-os' (.hg not found)!
[mbed] Exec "hg clone https://github.com/ARMmbed/mbed-os /work/scratch/test/mbed-os" in /work/scratch/test
abort: error: Name or service not known
[mbed] Found matching cached repository in "/mbed_cache/github.com/ARMmbed/mbed-os"
[mbed] Carbon copy from "/mbed_cache/github.com/ARMmbed/mbed-os" to "/work/scratch/test/mbed-os"
...