You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@teaclave.apache.org by Qinkun Bao <no...@github.com.INVALID> on 2022/02/03 08:48:10 UTC
[apache/incubator-teaclave] fix ide scripts; users can run ide.sh from any cwd (PR #609)
## Description
fix ide scripts; users can run ide.sh from any cwd
## Type of change (select or add applied and delete the others)
- [x] 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/609
-- Commit Summary --
* fix ide scripts; users can run ide.sh from any cwd
-- File Changes --
M scripts/ide.sh (23)
-- Patch Links --
https://github.com/apache/incubator-teaclave/pull/609.patch
https://github.com/apache/incubator-teaclave/pull/609.diff
--
Reply to this email directly or view it on GitHub:
https://github.com/apache/incubator-teaclave/pull/609
You are receiving this because you are subscribed to this thread.
Message ID: <apache/incubator-teaclave/pull/609@github.com>
Re: [apache/incubator-teaclave] fix ide scripts; users can run ide.sh from any cwd (PR #609)
Posted by Mingshen Sun <no...@github.com.INVALID>.
Merged #609 into master.
--
Reply to this email directly or view it on GitHub:
https://github.com/apache/incubator-teaclave/pull/609#event-6022815275
You are receiving this because you are subscribed to this thread.
Message ID: <ap...@github.com>