If you could provide more context about gtools cabal download hot or clarify what "hot" cabal files are in your context, I can offer a more specific solution.
Here's an example of downloading a file: gtools cabal download hot
The term "hot" cabal files likely refers to a specific type of package or a package that requires hot-swapping (reloading without restarting). To download cabal files using gcloud , you'll likely use the storage component of gcloud , as cabal files are typically stored on Cloud Storage. If you could provide more context about gtools