获取代码发布的github链接

Question

长话短说，我正在开发一个脚本，它依赖于用户从我提供的链接下载 tar.gz。我也不允许自己下载 tar.gz。

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/

Answer 1

我的问题是，是否有指向该项目的 github 链接存储名称为 urdfdom_headers-1.0.0.tar.gz 而不是 1.0.0.tar.gz 的存档

在没有此类链接的情况下，您的脚本只需一个命令即可工作（在 bash 会话中）：

find . -mindepth 1 -maxdepth 1 -regex '^./[0-9].*\.tar\.gz' -exec echo '{}' \; | sed -e "s/^\.\///g" | while read f; do mv "${f}" "urdfdom_headers-${f}"; done

多行可见性：

find . -mindepth 1 -maxdepth 1 -regex '^./[0-9].*\.tar\.gz' -exec echo '{}' \; | \
  sed -e "s/^\.\///g" | \
  while read f; do mv "${f}" "urdfdom_headers-${f}"; done

所以如果有任何下载的tar.gz文件以数字开头，它们将被相应地重命名。