Is there a way to download files from Azure Cloud Shell?

I am trying to get credentials for my Azure Kubernetes Cluster. Ran the script to fetch details on Azure cloud shell and got a .config file. I wonder if there is a way to download the file from my Azure Cloud Shell session?

Where are the files stored in Azure cloud shell?

All files in your $Home directory, such as SSH keys, are persisted in your user disk image, which is stored in your mounted file share. Apply best practices when you persist information in your $Home directory and mounted file share.

What can an Azure cloud shell be used for?

Cloud Shell offers an integrated file editor built on the open-source Monaco Editor. Simply run "code." in Cloud Shell to enter a lightweight file editing experience integrated directly into the Cloud Shell window. Create and edit files that will be automatically synced to your backing Azure Files share.

At the cloud shell prompt just type: download yourfilename