应用点滴 第2页

curl与wget的区别与使用

阅读(1199)

wget是个专职的下载利器,简单,专一,极致;而curl可以下载,但是长项不在于下载,而在于模拟提交web数据,POST/GET请求,调试网页,等等。在下载上,也各有所长,wget可以递归,支持断点;而curl支持URL中加入变量,因此可以...

linux脚本判断是否存在命令

阅读(1148)

linux脚本判断是否存在命令,可以使用which。 which wget >/dev/null 2>&1 if [ $? -ne 0 ]; then apt update apt install -y wget fi ...

win10 powershell无法激活conda环境

阅读(2721)

想从cmd换成powershell,发现powershell并不支持切换conda的虚拟环境。 解决办法: 在cmd或者powershell中输入 conda init --all 就可以初始化所有的终端,如果只想初始化powershell...

删除小数点后多余的0

阅读(1276)

方法1: def delete_extra_zero(n): '''删除小数点后多余的0''' if isinstance(n, int): return n if isinstance(n, float): n = str(n).rstr...

shell判断软件是否安装

阅读(1932)

写安装脚本时,需要判断环境是否完整,例如判断git、python3等环境是否正常,通过下述可以实现。 #!/bin/bash if ! [ -x "$(command -v git)" ]; then echo 'Error: git is...

shell 判断文件夹或文件是否存在

阅读(1600)

文件夹不存在则创建 if [ ! -d "/data/" ];then mkdir /data else echo "文件夹已经存在" fi 文件存在则删除 if [ ! -f "/data/filename" ];then echo "文...

Windows下git设置代理服务器

阅读(1341)

Git支持四种协议 1 ,而除本地传输外,还有:git://, ssh://, 基于HTTP协议,这些协议又被分为哑协议(HTTP协议)和智能传输协议。对于这些协议,要使用代理的设置也有些差异: 使用 git协议 时,设置代理需要配置 co...

git常用命令

阅读(1123)

命令 用法 git init 初始化版本库 git add . 增加文件 git rm 删除文件 git mv 移动或重命名文件 git commit -m '注释' 执行操作 git log 查看更新历史 git push [-u] or...