到目前为止，我一直在 Ubuntu 16 中使用 Kile 的早期版本。安装 Ubuntu 18.04 后，我发现 apt 数据包管理器中的默认版本是 Kile 3.1，甚至是测试版（这是我从 获得的sudo apt-get install kile）。我的问题是，如何选择我想要的 kile 版本？
Ubuntu 18.04 上的旧版本 Kile
到目前为止，我一直在 Ubuntu 16 中使用 Kile 的早期版本。安装 Ubuntu 18.04 后，我发现 apt 数据包管理器中的默认版本是 Kile 3.1，甚至是测试版（这是我从 获得的sudo apt-get install kile）。我的问题是，如何选择我想要的 kile 版本？