在 win10 下配置易用命令行
win10 相比 Linux 最大的短板之一是命令行。
这篇文章不会将 win10 配置到像Linux那样一行命令解决所有包的安装,只是从最大程度上方便开发。
我们主要对于这样几个工具进行阐述:cmd, powershell, git-bash, cmder. 捎带着记录如何配置命令行代理。
git bash
这是 win10 平台上封装了一个 bash shell. 体验和 linux 很相似。在这个平台上,可以使用 vim, 设置代理,使用 conda 环境等优点。另一个有点就是可以在任意目录打开,这一点比 cmd 和 cmder 好。
设置代理
方法和 linux 下很相似,使用 export http_proxy="http://127.0.0.1:1080"
即可设置代理。
关于端口,我们在win10这个平台上http和socks5,都是1080端口。
设置conda
没法像 cmd 一样,直接使用 activate tf-gpu
来激活 conda 环境。
需要像 powershell 一样先使用 conda init bash
来初始化,然后就可以使用 conda activate --
和 conda deactivate
激活和退出 conda 环境。
由于 git bash 和 cmder 的配色和显示效果比 powershell 和 cmd 都要好(powershell 对于 vim 的支持太差了),而且有关后期拓展性,git bash 也由自己强大的一方面。
拓展性
比如 wget
这个下载工具。如果想在 windows 平台下使用,一共有三种思路:
- 下载 .exe 文件,配置环境变量(这个到网上一搜很多)
- 使用 scoop 安装(这个方法自己还是很推荐的),一键安装最省心,而且在所有命令行都可以用。注意:WSL好像也可以使用scoop的环境变量
- 下载 .exe 文件,把
wget.exe
放在Git/mingw64/bin
目录下,即可使用。这样做的好处是不会污染环境,坏处就是只能在 git bash 中使用。
cmder
cmder 是对于 powershell 和 cmd 的替代。
cmder 的显示效果优于上述两者。缺点是不能像powershell和git一样在任意地方打开。但是,其不可替代的优势在于
- git-bash 总有其功能盲区,一些命令只能使用powershell & cmd。比如git-bash不能打开WSL的bash,但是WSL自带的命令行又太难用,此时,cmder 就是很好的选择;
- cmder 的高度集成性
powershell & cmd
在这里只是说一下设置代理的方法:
cmd: set http_proxy=http://127.0.0.1:1080
注意:没有 "" 去引导代理的网址
Powershell: 设置方法就比较复杂。我在这里给出参考文章。给 Windows 的终端配置代理