4 weeks, 1 day ago.

Cannot clone mbed-dev from os.mbed.com

Hi there,

I've been trying to clone from os.mbed.com and none of the following commands succeed

hg clone --debug --uncompressed -v -r f392fc9709a3 https://me@os.mbed.com/users/mbed_official/code/mbed-dev/
hg clone --debug --uncompressed -v -r f392fc9709a3 https://me@os.mbed.com//users/mbed_official/code/mbed-dev/
hg clone --debug --uncompressed -v https://me@os.mbed.com/users/mbed_official/code/mbed-dev/
hg clone --debug --uncompressed -v https://me@os.mbed.com//users/mbed_official/code/mbed-dev/
hg clone --debug --uncompressed -v -r f392fc9709a3 ssh://me@os.mbed.com/users/mbed_official/code/mbed-dev/
hg clone --debug --uncompressed -v -r f392fc9709a3 ssh://me@os.mbed.com//users/mbed_official/code/mbed-dev/
hg clone --debug --uncompressed -v ssh://me@os.mbed.com/users/mbed_official/code/mbed-dev/
hg clone --debug --uncompressed -v ssh://me@os.mbed.com//users/mbed_official/code/mbed-dev/
hg clone --debug -v -r f392fc9709a3 https://me@os.mbed.com/users/mbed_official/code/mbed-dev/
hg clone --debug -v -r f392fc9709a3 https://me@os.mbed.com//users/mbed_official/code/mbed-dev/
hg clone --debug -v https://me@os.mbed.com/users/mbed_official/code/mbed-dev/
hg clone --debug -v https://me@os.mbed.com//users/mbed_official/code/mbed-dev/
hg clone --debug -v -r f392fc9709a3 ssh://me@os.mbed.com/users/mbed_official/code/mbed-dev/
hg clone --debug -v -r f392fc9709a3 ssh://me@os.mbed.com//users/mbed_official/code/mbed-dev/
hg clone --debug -v ssh://me@os.mbed.com/users/mbed_official/code/mbed-dev/
hg clone --debug -v ssh://me@os.mbed.com//users/mbed_official/code/mbed-dev/

I have tried at around 15 different servers around the world that all run different operating systems, we have mac, ubuntu, debian, windows etc.

Nothing seems to be able to pull anything. It's been two weeks now, I assumed there was an internal problem but I am still unable to clone the repos in their full depth.

Comment on this question

1 Answer

4 weeks, 1 day ago.

Hello Matt,

Because at the present it's impossible to import the Mbed 2 library using Mbed CLI (read also here https://os.mbed.com/questions/87257/Is-mbed-OS-2-still-alive/):

  • Download the .gz (.zip is incomplete) repository from mbed-dev to your local drive and unpack.
  • Rename the unpacked folder to mbed-dev.
  • Open the mbed-dev/cmsis folder and delete the BUILD subfolder.

Thanks for that, is there a page that explains these aliases "mbed2" -> "mbed-dev" etc?

posted by Matt P 21 Oct 2019

I'm afraid no, but briefly: It used to be only a single mbed (called Mbed OS 2 nowadays). The binary version of mbed library was called mbed and the one with source files mbed-src. Later, mbed-src was superseded by mbed-dev.

posted by Zoltan Hudak 21 Oct 2019