Wpis z mikrobloga

#linux #gnome

Mam takie głupie pytanko - po aktualizacji Gnome'a do 3.38 przestało mi działać rozszerzenie Workspaces to Dock. Na stronie rozszerzenia
https://extensions.gnome.org/extension/427/workspaces-to-dock/
jest odnośnik do fixa dla 3.38
https://github.com/RensAlthuis/workspaces-to-dock/commit/b1a3571779732aa650aed2cba9977a4f794c5ab9

Problem w tym, że nie mam zielonego pojęcia, co zrobić z tymi szlaczkami ( ͡° ʖ̯ ͡°) Podejrzałem pliki rozszerzenia i prezentowane pod linkiem treści są hmmmm uboższe, mają wyraźnie mniej znaków, więc raczej zwykła podmiana nie wchodzi w grę. Ktoś z Was ma pomysł, jak mogę to zaimplementować?
  • 5
@Wawilen_Tatarski: masz w readme https://github.com/RensAlthuis/workspaces-to-dock

If you would rather install it manually, and receive the latest fixes and enhancements, download the master branch zip (https://github.com/passingthru67/workspaces-to-dock/archive/master.zip) and extract it into a temporary folder. Inside of the extracted folder you will find the workspaces-to-dock@passingthru67.gmail folder. Simply copy it to your ~/.local/share/gnome-shell/extensions folder. Next, restart Gnome Shell (alt+f2+r). If Workspaces-to-Dock doesn't show up, you may need to enable the extension using Gnome Tweak