Not to toot my own horn but I systematically use the curl-based installer for agda-stdlib these days and it's so convenient. 🥰

https://github.com/agda/agda-stdlib/#automated-installation-currently-experimental