Git Clone?

[Zarin Loosli]

After shopping around quite a bit, I would like to make Zed my primary code editor, but there is one feature that I need more than any other: github cloning.

I'm looking for something similar to how the Chrome Dev Editor does it: enter a clone URL, Zed downloads the repository onto the computer for editing, then you can commit and push changes once they are ready for publication. From what I understand, opening a Github file 1. commits changes as they are saved and 2. does not work offline. If I am incorrect, please let me know.

[Hauke Walden]

+1 for that request. Actually, I'd like to give it a +5 if that's ok :-)

You are describing pretty much exactly what I was doing last night: searching for a a proper ChromeOS IDE (I'm on a chromebook), starting off with CDE, and then switching to zed because I simply need features like code completion, a good search functionality and code formatting. And I must say I like zed quite a lot so far.
However, I cannot find a way to properly interact with git (be it a self hosted git "server". github or bitbucket). Right now I'm simply using CDE in parallel and do my commits. pushes and pulls from there. However, I'd love to see this included in zed.

I did see zedapp/git-tools, but this seems to rely on external tools (which I do not know how to install on ChromeOS) Any hints, anyone?

/hauke

[Zef Hemel]

Theoretically this would be possible to implement, but it would require an actual JavaScript-implemented git client like js-git (https://github.com/creationix/js-git). Realistically, I wouldn't hold my breath for this for two reasons (unless you're willing to implement this yourself):

1. I no longer write code myself professionally, so I don't use Zed myself at this point and in my spare time I have other priorities right now (that's why there hasn't been a release for a long time)

2. Chrome Apps are practically dead outside of Chromebooks. So the usefulness of this feature is becoming increasingly limited.

-- Zef

--
You received this message because you are subscribed to the Google Groups "Zed user" group.
To unsubscribe from this group and stop receiving emails from it, send an email to zed-user+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.