Ich habe versucht, den Befehl " sudo update-grub`, aber es sagen immer, `/usr/sbin/grub-probe:Fehler: cannot find a device for /(is /dev mounted?)` @EliahKagan - ich bin etwas verwirrt über Ihren Vorschlag und Kommentar. Ich legte die "links erstellen" am Ende, weil es am Ende mit meinem Vorschlag. In meiner Erfahrung, keine der internen, nicht entfernbaren Partitionen gemountet sind in `/media`, es sei denn, ich öffne Nautilus und explizit öffnen Sie das Laufwerk; das ist nicht ideal für mich. Ich bevorzuge, um anzugeben, wie und wo es montiert ist, und `fstab` ist die einfachste Methode, die kenne ich. Möglicherweise gibt es bessere Methoden, aber ich persönlich weiß nichts über Sie. guter Punkt auf die Schokolade. Nach einem Blick rund um in der Nähe von mir ein paar Jahre zurück, fand ich, dass Wegman ' s-store-Marke der Schokolade-chips sind frei von Milchprodukten.

Weiß jemand, wie man gnome-tweak-tool gnome-shell gebaut aus dem GIT? Ich installierte gnome-tweak-tool über ein ppa, aber es gibt Fehler, während Sie versuchen, es zu starten...

Vielen Dank im Voraus!