search

hide-org / hide

🤖 Headless IDE for AI agents
https://hide.sh
MIT License
129 stars 5 forks source link

Hide init #81

Open artmoskvin opened 2 months ago

artmoskvin commented 2 months ago

We need a smoother way to get Hide Runtime up and running. Right now, new users have to figure out a bunch of stuff on their own and download a lot of unnecessary stuff bundled with runtime (e.g. LSP servers for languages they never use). I propose we fix that with a hide init command. Here's what it could do:

  1. Ask users which languages they're working with and download the right LSP servers.
  2. Help set up credentials (GitHub, DockerHub etc.)
  3. Walk through important config options, using smart defaults where possible.
  4. Add a --from-project flag to auto-detect languages from a GitHub repo.

This would make it way easier for new users to get started, and help experienced users set up new projects faster.

Some questions to consider:

wistuba commented 2 months ago

Hey, I'm in the process of figuring out a bunch of stuff on my own. Any guidance on how to install the LSP server for Python?

artmoskvin commented 2 months ago

@wistuba You can run pip install pyright or brew install pyright on your local machine. Note that Hide starts language servers outside of devcontainers.

Alternatively, you can install Hide using brew install artmoskvin/hide/hide. This will install all the supported language servers including the one for Python.