“Wget”的版本间的差异
跳到导航
跳到搜索
Jihongchang（讨论 | 贡献） |
Jihongchang（讨论 | 贡献） |
||
| 第18行： | 第18行： | ||
[root@iZj6c09e4pbixx5c6cuwzzZ ~]# wget -e use_proxy=on -e https_proxy=127.0.0.1:12345 https://github.com/jgraph/drawio-desktop/releases/download/v20.2.3/draw.io-20.2.3-windows-installer.exe | [root@iZj6c09e4pbixx5c6cuwzzZ ~]# wget -e use_proxy=on -e https_proxy=127.0.0.1:12345 https://github.com/jgraph/drawio-desktop/releases/download/v20.2.3/draw.io-20.2.3-windows-installer.exe | ||
</syntaxhighlight> | </syntaxhighlight> | ||
| + | |||
| + | === 为 wget 设置全局代理，之后都不需要使用 -e === | ||
| + | <syntaxhighlight lang="shell-session"> | ||
| + | root@raspberrypi:~# vim /root/.bashrc | ||
| + | </syntaxhighlight>追加下面两行： | ||
2023年2月2日 (四) 08:33的版本
安装
[root@iZj6c09e4pbixx5c6cuwzzZ ~]# apt install -y wget
不验证服务器的证书
[root@iZj6c09e4pbixx5c6cuwzzZ ~]# wget --no-check-certificate https://github.com/jgraph/drawio-desktop/releases/download/v20.2.3/draw.io-20.2.3-windows-installer.exe
使用代理
[root@iZj6c09e4pbixx5c6cuwzzZ ~]# wget -e use_proxy=on -e https_proxy=127.0.0.1:12345 https://github.com/jgraph/drawio-desktop/releases/download/v20.2.3/draw.io-20.2.3-windows-installer.exe
为 wget 设置全局代理，之后都不需要使用 -e
root@raspberrypi:~# vim /root/.bashrc
追加下面两行：