Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Tips on the Zed IDE
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Tips and Traps
- Zed does not support the web version yet, however, it does support remote develop .
Install via Flatpak
https://flathub.org/apps/dev.zed.Zed
flatpak install flathub dev …Nix and NixOS
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
https://search.nixos.org/packages
mkShell vs buildFHSUserEnv
See discussions in mkShell vs buildFHSUserEnv in Nix .
Python
See discussions in Set Up Nix for Python Development .
References
mkShell vs buildFHSUserEnv in Nix
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
The following content is edited based the answer generated by Google AI Studio using the prompt "buildFHSUserEnv vs mkShell".
mkShell (and nix-shell, nix develop)
Purpose: The standard way to create a …
Set Up Nix for Python Development
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
References
Cloud IDE
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Google Firebase Studio (Formally Known as Project IDX)
See Tips on Google Firebase Studio .
Code Server
Makepad
GitPod
GitPod (based on theia) is a web IDE for repositories on GitHub.