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.

Sign up for GitHub

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

Jump to bottom

Deleting Files and Directories #676

Closed
2 tasks
iamrecursion opened this issue Feb 21, 2020 · 0 comments
Closed
2 tasks

Deleting Files and Directories #676

iamrecursion opened this issue Feb 21, 2020 · 0 comments
Assignees
@4e6
Labels
p-medium Should be completed in the next few sprints

Comments

@iamrecursion
Copy link
Contributor

Summary

The IDE needs the ability to delete arbitrary files and directories.

Value

IDE will be able to delete files and directories via the language server.

Specification

  • Implement the file/delete message as specified in the design document.
  • Specify any errors that go with file/delete and their behaviours in the specification document.

Acceptance Criteria & Test Cases

  • The above message has been implemented.
  • The above message has been rigorously tested.
@kustosz kustosz assigned 4e6 and unassigned lolczak Mar 3, 2020
@4e6 4e6 closed this as completed Mar 4, 2020
@iamrecursion iamrecursion transferred this issue from another repository Jun 23, 2020
@joenash joenash added Category: Backend p-medium Should be completed in the next few sprints labels Jun 23, 2020
@iamrecursion iamrecursion mentioned this issue Jun 24, 2020
Closed
26 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@4e6 4e6

Labels
p-medium Should be completed in the next few sprints
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@4e6 @joenash @iamrecursion @lolczak