Dash to dock が Ubuntu 19.04 で動作しなくなりました

Question

数時間前に Ubuntu を 18.10 から 19.04 にアップグレードしましたが、今では「dash to dock」拡張機能が動作しなくなりました。

このバグの解決策はありますか?

Answer 1

残念ながら、今のところ公式の解決策はないようですが、報告されたバグgnome-shell の新しいバージョン (3.31/3.32)。更新を待つか、gnome-shell の以前のバージョンを使用する必要があると思います。