小编nar*_*hom的帖子

合并/差异工具 Meld 在 Ubuntu 18.10 上缺少首选项（编辑 -> 首选项）。这是一个普遍问题还是特定于我的 Ubuntu 安装？怎么修？

为面临相同问题的任何人更新：似乎是 Gnome-Shell 功能。单击外壳菜单栏上“融合”图标旁边的小向下箭头。

我做了一个升级的Ubuntu上WSL从18.10至19.04用do-release-upgrade。

$ cat /etc/os-release
NAME="Ubuntu"
VERSION="19.04 (Disco Dingo)"
ID=ubuntu
ID_LIKE=debian
PRETTY_NAME="Ubuntu 19.04"
VERSION_ID="19.04"
HOME_URL="https://www.ubuntu.com/"
SUPPORT_URL="https://help.ubuntu.com/"
BUG_REPORT_URL="https://bugs.launchpad.net/ubuntu/"
PRIVACY_POLICY_URL="https://www.ubuntu.com/legal/terms-and-policies/privacy-policy"
VERSION_CODENAME=disco
UBUNTU_CODENAME=disco

但是现在我注意到 repositories/sources.list 仍然指向 cosmic。

$ grep -li cosmic /etc/apt/sources.list /etc/apt/sources.list* /etc/apt/sources.list*/*
/etc/apt/sources.list
/etc/apt/sources.list
grep: /etc/apt/sources.list.d: Is a directory
/etc/apt/sources.list.distUpgrade
/etc/apt/sources.list.save


$ grep -li disco /etc/apt/sources.list /etc/apt/sources.list* /etc/apt/sources.list*/*
grep: /etc/apt/sources.list.d: Is a directory 

所以我想升级过程中一定有一些我没有注意到的失败。

如何找出任何升级错误并修复它们？
在哪里可以找到 19.04 的源列表？

我有一些应用程序，如 eclipse、netbeans、vuze 提取到/opt/目录。在 unity dash 中搜索时，这些应用程序不会出现。有没有办法让这些应用程序建立索引？

（“运行命令”确实记住了第一次之后的路径，但按下Super按钮比alt+更容易f2）