file - 如何使用 wget 下载特定的文件扩展名?
问题描述
下面的代码下载 index.html 但不是 dmg 文件。
wget -r -A .dmg "https://test.com/job/testreport/job/${{parameters.test_buildjob}}/lastSuccessfulBuild/artifact/Distrib/" --no-check-certificate --http-user=$(USERNAME) --http-password=$(PASSWORD) --auth-no-challenge --no-verbose -O test1.dmg
如何使用扩展名仅下载.dmg文件。
解决方案
推荐阅读
- r - 字符串拆分两列中的值,然后将它们连接到一个新列中
- reactjs - 如何获取 Apollo 缓存更新来自何处的堆栈跟踪?
- android-fragments - 在单击时崩溃的片段之间导航的按钮
- javascript - 当 HTML 元素未插入 DOM 时,在 Python Selenium 中上传文件
- sql - SQL group by 查询返回错误:聚合函数或 GROUP BY 子句
- django - 在模型验证上使用 Django 测试,如何测试一个值不会引发验证错误
- html - 从一系列图像创建 MediaStream
- amazon-web-services - 参数存储与 AppConfig
- arrays - 不一致的 MethodError:仅存在于对绘图的调用之外
- regex - vim 的正则表达式引擎的名称是什么?