我想安装gummi -- 一个latex编辑器. 源里面没有, 于是添加了ppa作为源.
apt-get install gummi需要安装texlive作为依赖, 但是我已经有光盘版的texlive并且已经安装和配置好, 也就是说, 我不需要源里面提供的老版本的texlive. echo 'texlive hold' | dpkg --set-selections 将该安装包锁定, 再次运行 apt-get install gummi, 得到结果: The following packages have unmet dependencies. gummi: Depends: texlive but it is not going to be installed 然后我就不知道怎么办了. 是不是将gummi包下载下来, 然后手工修改依赖性呢? 还有没有别的方法? -- ubuntu-zh mailing list ubuntu-zh@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-zh
