zeal VS ada_language_server

There's also Zeal (https://zealdocs.org/) which is basically the same as Dash but open source and runs on non-Mac devices.

For offline tech documentation you can use Zeal. Must have tool for poor internet connection places. Present in ubuntu repos. https://zealdocs.org/

ads don't have to proprietary

here's one example of ads in FOSS https://github.com/zealdocs/zeal/issues/779

There’s stuff like https://zealdocs.org/ that allow you to take all relevant documentation with you so offline coding will work.

If you just want to be productive, you could also bring a lot of books or downloaded tutorials on a drive.

Btw, make sure your drive is encrypted and you think of a way to backup your data so you don’t lose the offline progress.

I’d suggest you look into Kiwix¹ and also Zeal².

1. https://www.kiwix.org/

2. https://zealdocs.org/

For offline documentation, I use Zeal (called Dash on macos) which looks/works almost identically to rubydoc.info but much faster since it's offline, has a standard interface for all installed language documentations, and only 1 global hotkey away while programming.

I highly recommend using local solutions to this local issue: Zeal[1] (aka Dash[2] on MacOS)

Load up the "docsets" of your languages (lightly edited HTML docs for indexing purposes) and use a global keyboard shortcut (F8 for me) to pull up Python/Postgres/Terraform docs, searching for the right function without internet query.

This isn't straight up applicable to all questions of course, but "How do I search regular expressions in Python again?" is now as easy as "re"

Note that the docsets can be converted from normal HTML ones via doc2dash[3], especially useful to load up custom docs like private providers.

[1]: https://zealdocs.org/

Basic .gpr language support: document symbols and diagnostics

I've built Ada VSCode extension for AArch64 Linux. It could be used with VSCode in the remote mode. So you can launch VSCode on the PC and connect over SSH to your AArch64 Linux board/host where you have an Ada project, GNAT and have very pleasant development environment. Here it is:

You can install newer version from the marketplace, OpenVSX or download it from GitHub release.

Don't hesitate to report any issues on GitHub.

If I'm being honest, Ada has most of that too. There is no Ada-equivalent to rustup.rs (but that may be coming soon), but alire's documentation is pretty straightforward. Want to start a new project? alr init --bin foo && cd foo && alr build Rust has rust-analyzer, but Ada also has the Ada Language Server. You can open issues on github for gnat, and we are all familiar with alire.ada.dev and learn.adacore.com.

This time,besides bug fixes and improvements, we have the GitHub Release with Ada Language Server binaries.

Refactoring documentation

Grab Visual Studio Code and the Ada language server plugin