Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[DRAFT] fetch tasks by type and schema version #5348

Closed
wants to merge 1 commit into from

Conversation

elaihau
Copy link
Contributor

@elaihau elaihau commented Jun 3, 2019

Signed-off-by: elaihau [email protected]

- This pull request adds the support of fetching tasks by type and schema version to the plugins API.
- resolved eclipse-theia#5432

Signed-off-by: elaihau <[email protected]>
@elaihau elaihau requested a review from RomanNikitenko June 3, 2019 17:12
const tasks = [...this.taskService.getConfiguredTasks(), ...(await this.taskService.getProvidedTasks())];
if (taskType) {
found = tasks.filter(t => {
if (ContributedTaskConfiguration.is(t)) {
Copy link
Contributor Author

Choose a reason for hiding this comment

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

The reason that I am creating a DRAFT PR is that ContributedTaskConfiguration.is() is buggy, as @RomanNikitenko pointed out, we should have a more reliable way to check which tasks are contributed which are not.

Copy link
Contributor

Choose a reason for hiding this comment

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

@elaihau thank you for your support, I'm going to complete my current issue and review the PR

Copy link
Contributor

Choose a reason for hiding this comment

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

If I understand correctly, the PR depends on changes #5975 and will be updated after merge #5975.
@elaihau Is it correct?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

@RomanNikitenko yes I updated this PR on my local branch to adapt to the recent changes in task extension.

@elaihau elaihau changed the title fetch tasks by type and schema version [DRAFT] fetch tasks by type and schema version Jun 3, 2019
@elaihau
Copy link
Contributor Author

elaihau commented Aug 28, 2019

re-implemented in #6058. closing this one.

@elaihau elaihau closed this Aug 28, 2019
@elaihau elaihau deleted the fetch_task branch August 28, 2019 11:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[plug-in][tasks] Add ability to fetch all tasks
2 participants