Короче говоря, я разрабатываю скрипт, который полагается на пользователя, загружающего tar.gz из ссылки, предоставленной мной. Мне также не разрешено загружать tar.gz.Получение ссылки github для освобождения кода
tar.gz на самом деле является конкретным выпуском ретрансляции github. Ссылка: https://github.com/ros/urdfdom_headers/archive/1.0.0.tar.gz. Проблема в том, что если вы откроете эту ссылку в браузере, скачанный файл будет называться urdfdom_headers-1.0.0.tar.gz
, точно так, как я хочу. Однако, если пользователь решил напрямую загрузить с помощью wget, имя файла будет 1.0.0.tar.gz
. Мой сценарий зависит от имени архива, и хотя я могу объяснить различия в именах, наличие последовательного имени значительно облегчит мою жизнь.
Мой вопрос в том, есть ли ссылка github на этот проект, который хранит архив с именем urdfdom_headers-1.0.0.tar.gz
, а не 1.0.0.tar.gz
, так что любой тип загрузки приведет к безопасному именованию. Ссылка для релизов https://github.com/ros/urdfdom_headers/releases/
Я не спрашиваю, как найти и переименовать файл. Я хочу знать, есть ли такая ссылка на github, поэтому я могу напрямую загрузить файл с правильным именем. Спасибо, в любом случае! – niko
@niko Моя точка зрения: я не думаю, что есть такая связь, поэтому моя обходная ситуация. – VonC