enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-09-20 01:28:14 +03:00
Code Issues Projects Releases Wiki Activity

Add .enso-project extension when downloading project files from cloud (#10701)

Browse Source 
- See https://github.com/enso-org/cloud-v2/issues/1372#issuecomment-2255172443

# Important Notes
- I don't seem to be able to test, as `get_project_details` seems to be returning a value without `url` for some reason
This commit is contained in:
somebody1234 2024-07-29 19:53:24 +10:00 committed by GitHub
parent 07bc728b6d
commit e609b1cff8
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
app/dashboard/src/components/dashboard/AssetRow.tsx
View File

@ -486,7 +486,7 @@ export default function AssetRow(props: AssetRowProps) {
asset.title,
])
if (details.url != null) {
await backend.download(details.url, asset.title)
await backend.download(details.url, `${asset.title}.enso-project`)
} else {
const error: unknown = getText('projectHasNoSourceFilesPhrase')
toastAndLog('downloadProjectError', error, asset.title)