git强制修改文件大小写

git默认是不区分文件大小写的,这导致修改文件名的大小写会出现无法修改的问题。解决方法如下:

git mv -f <源文件> <目标文件包含大小写>

然后commit提交即可。

修改 ubuntu 使用阿里云源

在文件 /etc/apt/source.list 开头增加如下代码即可。

deb http://mirrors.aliyun.com/ubuntu/ trusty main restricted deb-src http://mirrors.aliyun.com/ubuntu/ trusty main restricted

archlinux 包管理使用记录

更新包仓库

pacman -Sy

安装软件

pacman -S nginx

替换国内源

pacman的配置文件在/etc/pacman.d/mirrorlist 从官方更新源信息,然后编辑源文件根据需要取消注释需要使用的源即可。 wget -O /etc/pacman.d/mirrorlist https://www.archlinux.org/mirrorlist/all/ wget -O /etc/pacman.d/mirrorlist https://www.archlinux.org/mirrorlist/?country=CN

jenkins 防止杀死子进程的方式

默认情况下 jenkins 启动的子进程都会在结束的时候被干掉。增加如下代码可以让jenkins手下留情:

BUILD_ID=dontKillMe python main.py BUILD_ID=原来ID