From e9161610c41e2b082fe310ee128d746ec2d5d772 Mon Sep 17 00:00:00 2001 From: rubenwardy Date: Tue, 4 May 2021 22:06:31 +0100 Subject: [PATCH] Fix bad download file names Fixes #116 --- app/models/packages.py | 3 +++ app/templates/packages/view.html | 11 +++++++---- 2 files changed, 10 insertions(+), 4 deletions(-) diff --git a/app/models/packages.py b/app/models/packages.py index cff55b3..0fb845b 100644 --- a/app/models/packages.py +++ b/app/models/packages.py @@ -872,6 +872,9 @@ class PackageRelease(db.Model): def __init__(self): self.releaseDate = datetime.datetime.now() + def getDownloadFileName(self): + return f"{self.package.name}_{self.id}.zip" + def approve(self, user): if not self.checkPerm(user, Permission.APPROVE_RELEASE): return False diff --git a/app/templates/packages/view.html b/app/templates/packages/view.html index f99448c..054c2ae 100644 --- a/app/templates/packages/view.html +++ b/app/templates/packages/view.html @@ -25,7 +25,6 @@ {% set package_warning="Non-free media" %} {% endif %} {% set release = package.getDownloadRelease() %} -
{% set cover_image = package.cover_image.url or package.getMainScreenshotURL() %}
- + {{ package.downloads }} @@ -151,7 +151,7 @@ {% endif %}
{% if release %} - {{ _("Download") }} @@ -466,7 +466,10 @@ {% if not rel.approved %}{% endif %} - {{ rel.title }} + + {{ rel.title }} + {% if rel.min_rel and rel.max_rel %}