Skip to content

Conversation

donatieng
Copy link
Contributor

@donatieng donatieng commented Feb 24, 2021

Add docker user guide.

@saheerb saheerb marked this pull request as ready for review September 13, 2021 21:02
@donatieng
Copy link
Contributor Author

Thanks Saheer, I cannot approve as I opened the original PR but it looks good :D

@saheerb saheerb self-requested a review September 14, 2021 09:59
mbed-tools compile -t GCC_ARM -m DISCO_L475VG_IOT01A
```

💡 When building the Mbed OS project inside Docker container with shared workspace from Docker host, there could be performance issues as filesystem needs to be synced between Docker host and container. For better performance make sure, `gRPC FUSE for file sharing` [is enabled in Docker settings](https://www.docker.com/blog/deep-dive-into-new-docker-desktop-filesharing-implementation/).
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

is this meant to be a note?

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

should be "as the filesystem" (I can fix this in dev after merging)

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

is this meant to be a note?

This is meant to be a "tip".

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

should be "as the filesystem" (I can fix this in dev after merging)

Thanks, please fix as you mentioned.

@ChrisGooch-Arm ChrisGooch-Arm merged commit 181f55f into development Sep 21, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants