- Click on the gear icon galaxy-gear on the top of the history panel.
- Select “Export History to File” from the History menu.
- Click on the “Click here to generate a new archive for this history” text.
- Wait for the Galaxy server to prepare history for download.
- Click on the generated link to download the history.