## Description polish ide script and tip doc
Fixes # (issue) previous script doesn't update the content of .cargo/config ## Type of change (select or add applied and delete the others) - [ ] Bug fix (non-breaking change which fixes an issue) - [ ] New feature (non-breaking change which adds functionality) - [ ] Breaking change (fix or feature that would cause existing functionality to not work as expected) - [ ] API change with a documentation update - [ ] Additional test coverage - [ ] Code cleanup or just sync with upstream third-party crates ## How has this been tested? ## Checklist - [ ] Fork the repo and create your branch from `master`. - [ ] If you've added code that should be tested, add tests. - [ ] If you've changed APIs, update the documentation. - [ ] Ensure the tests pass (see CI results). - [ ] Make sure your code lints/format. You can view, comment on, or merge this pull request online at: https://github.com/apache/incubator-teaclave/pull/540 -- Commit Summary -- * polish ide script and tip doc -- File Changes -- M docs/development-tips.md (11) M scripts/ide.sh (2) -- Patch Links -- https://github.com/apache/incubator-teaclave/pull/540.patch https://github.com/apache/incubator-teaclave/pull/540.diff -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/apache/incubator-teaclave/pull/540
