Hi everyone!
Today I'm gonna write my solution to pomodoro timer in gnome shell.
On my last update to Pop!_OS 20.04 LTS, I've found an error in my gnome plugin gnome pomodoro http://gnomepomodoro.org This error is with gnome-shell 3.38 with some change that they do in this new version https://github.com/gnome-pomodoro/gnome-pomodoro/issues/520
My solution was delete the entire plugin and compile and install a new version:
sudo apt purge gnome-shell-pomodoro gnome-shell-pomodoro-data sudo apt-get install libtool-bin # It is really necesary? sudo apt-get install autoconf-archive gettext valac pkg-config desktop-file-utils appstream-util libappstream-glib-dev libglib2.0-dev gsettings-desktop-schemas-dev gobject-introspection libgirepository1.0-dev libsqlite3-dev libgom-1.0-dev libgstreamer1.0-dev libgtk-3-dev libcanberra-dev libpeas-dev libappindicator3-dev git clone -b 0.19.0 https://github.com/codito/gnome-pomodoro.git cd gnome-pomodoro ./autogen.sh --prefix=/usr --datadir=/usr/share make sudo make install
Then restart gnome-shell with alt+f2 and write "r" and intro key. Thanks a lot, And good luck!
References:
- https://github.com/gnome-pomodoro/gnome-pomodoro/issues/492
- https://github.com/gnome-pomodoro/gnome-pomodoro/issues/572
No hay comentarios:
Publicar un comentario