如果网速不好,而且apt-get update更新又很长,添加了某个PPA源,想要马上更新它,而且不全部的APT源。
在~/.bashrc的最后增加以下信息:
update-ppa(){
sudo apt-get update -o Dir::Etc::sourcelist="sources.list.d/$1" -o Dir::Etc::sourceparts="-" -o APT::Get::List-Cleanup="0"
}
# Debian user-defined completion
_ppa_lists(){
local cur
_init_completion || return
COMPREPLY=( $( find /etc/apt/sources.list.d/ -name "*$cur*.list" -exec basename {} \; 2> /dev/null ) )
return 0
} && complete -F _ppa_lists update-ppa
使用:update-ppa <tab> <tab>
按两次TAB就出来个PPA源的lists,键入关键字,按TAB就能补全,回车输入密码回车,开始更新这个PPA源的列表。
注:以上图片上传到红联Linux系统教程频道中。