gitprov/gnommo
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Bug in transfer

Browse Source
This commit is contained in:
gitprov
2026-07-15 15:55:18 +02:00
parent c4dedfa720
commit e8fc8411ea
1 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
gnommo/transfer.py
+8 -2
View File
@@ -74,8 +74,14 @@ def _build_manifest(project_path: Path) -> list[str]:
if (project_path / manuscript_rel).exists(): if (project_path / manuscript_rel).exists():
files.add(manuscript_rel) files.add(manuscript_rel)
# Slide images + slides.json # Slide images + slides.json.
slides_rel = project.get("slides", "media/slides") # The renderer reads this path lower-cased (parse_slides uses
# config.slides_path.lower()), because import may embed a capital-cased
# project name (e.g. "media/slides/Video3/" while the dir is "video3/").
# Push to the SAME lower-cased location — otherwise on a case-sensitive
# server 'up' writes media/slides/Video3/slides.json while render reads
# media/slides/video3/slides.json and never sees the update.
slides_rel = project.get("slides", "media/slides").lower()
slides_path = project_path / slides_rel slides_path = project_path / slides_rel
# slides might point directly to slides.json — include its parent dir # slides might point directly to slides.json — include its parent dir
if slides_path.is_file(): if slides_path.is_file():