Comments (5)
Another advantage of this being done on this side is it opens up distant for lsp against other editors without needing to write lsp hacks on clients individually. All that would be needed is special handling of distant scheme.
from distant.
Instead of the explicit types, may just be easier to search through keys of json message.
Write some function that provides us the full json path to the current value in the form of "path.to.value" supporting array "path.to[1].value" and object "path.to[key].value", if this is useful.
At least, supports iterating through all keys nested, determining if starts with file:
or distant:
, and letting us swap.
from distant.
If we were to just do json field substitution without types, named fields that include DocumentUri
or Uri
types w/ spec 3.16 are:
uri
targetUri
href
oldUri
newUri
changes
object ofWorkspaceEdit
whose keys are document urisscheme
onDocumentFilter
andFileOperationFilter
is just the scheme part of the URIrootUri
ofInitializationParams
(deprecated, but still a URI)scopeUri
target
from distant.
Maybe resolved by 260cb0e as this adds an LSP command that parses requests and responses into JSON, replacing schemes as described above.
from distant.
I'm going to lock this issue because it has been closed for 30 days ⏳. This helps our maintainers find and focus on the active issues. If you have found a problem that seems similar to this, please open a new issue and complete the issue template so we can capture all the details necessary to investigate further.
from distant.
Related Issues (20)
- Update release artifacts to follow naming distant-<HOST TRIPLE> HOT 2
- Create an embedded, animated SVG for README HOT 2
- Wrong exit code for `distant --version` and `distant --help` HOT 2
- Switch ssh caching to local cache HOT 2
- Zombie process when server terminates that was spawned via `distant launch manager://localhost` HOT 3
- Fix `distant fs set-permissions 'go-w' /path/to/file.txt` HOT 2
- Tailscale SSH: host key mismatch HOT 5
- custom build command for `openssl-sys v0.9.71` HOT 7
- Build interface to extend CLI
- distant-ssh DistantChannel low ability to write files concurrently HOT 3
- Distant client-server hangs when switching networks HOT 1
- Support for OpenBSD HOT 5
- Failed to connect to manager HOT 2
- Exited Unexpectedly: exit code 1 HOT 1
- Create a compilation for `aarch64-linux` HOT 4
- Does not use ssh-agent to retrieve passwords for ssh-keys HOT 3
- GLIBC error? HOT 1
- Cannot connect through SSH: `[Session(-43)] Failed getting banner` HOT 6
- ERROR distant version 0.20.0-alpha.10 incompatible with minimum requirement of 0.20.0 HOT 1
- Prompt and/or auto-start manager if not available
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from distant.