revert filename change for aptly package database

RobotLocomotion · Jan 23, 2025 · 0d46fc3 · 0d46fc3
1 parent b92f502
commit 0d46fc3
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/tools/release_engineering/dev/push_release b/tools/release_engineering/dev/push_release
@@ -98,13 +98,14 @@ if [[ "${push_apt}" -ne 0 ]]; then
     mkdir -p "${platform}"
     pushd "${platform}"
 
-    filename="drake-dev_${source_version}-1_amd64-${platform}.deb"
+    readonly remote_filename="drake-dev_${source_version}-1_amd64-${platform}.deb"
+    readonly local_filename="drake-dev_${source_version}-1_amd64.deb"
 
-    curl --fail --location --remote-name \
-      "https://drake-packages.csail.mit.edu/drake/release/${filename}"
+    curl --fail --location -o "${local_filename}" \
+      "https://drake-packages.csail.mit.edu/drake/release/${remote_filename}"
 
     # Add the Debian package to the aptly database.
-    aptly repo add "drake-${platform}" "${filename}"
+    aptly repo add "drake-${platform}" "${local_filename}"
     aptly snapshot create "drake-${platform}-${source_version}" \
       from repo "drake-${platform}"