久々にGnome Shellを起動したところ拡張機能のargosが起動しなくなっていました．
リポジトリを見るとGnome42対応をしている人がいたので，以下のリポジトリの gnome-42 ブランチを利用させてもらうことで動くようになりました :)
$ trash ~/.local/share/gnome-shell/extensions/argos\@pew.worldwidemann.com (1) $ git clone https://github.com/Coda-Coda/argos (2) $ cd argos $ git branch (3) * gnome-42 $ cp -a argos\@pew.worldwidemann.com ~/.local/share/gnome-shell/extensions/ (4)
- 古いargosをゴミ箱に
- Gnome42対応argosのリポジトリをクローン
- ブランチが
gnome-42になっているのを確認 - argos をGnomeShell拡張機能ディレクトリにコピー
このあと， Alt + F2 r Enter で反映します．
動作するようになりました :)
詳細は以前の記事を．
環境
$ dpkg-query -W gnome-shell gnome-shell-extensions gnome-shell 42.0-2ubuntu1 gnome-shell-extensions 42.0-1 $ lsb_release -dr Description: Ubuntu 22.04 LTS Release: 22.04 $ arch x86_64