gnome-shell-extension-simple-system-monitor icon indicating copy to clipboard operation
gnome-shell-extension-simple-system-monitor copied to clipboard

Can't install on gnome 45

Open lorebored opened this issue 7 months ago • 7 comments

image

Sorry for the termina in Italian

lorebored avatar Nov 08 '23 08:11 lorebored

Sorry for the late reply. It seems that the packed zip file cannot be found. Could you please execute ls under ~/gnome-shell-extension-simple-system-monitor to check if there is a zip file present?

LGiki avatar Nov 14 '23 01:11 LGiki

So I have to run cd gnome-shell-simple-system-monitor and than ls there I'm not very experienced Sorry for my bad English

lorebored avatar Nov 16 '23 09:11 lorebored

@LGiki There isn't any zip file

lorebored avatar Nov 17 '23 17:11 lorebored

Mi dispiace, sono stato molto occupato con il lavoro ultimamente. Immagino che ci siano stati alcuni imprevisti durante la costruzione, ma puoi scaricare l'estensione già compilata direttamente da https://github.com/LGiki/gnome-shell-extension-simple-system-monitor/releases/tag/v15. A proposito, questo messaggio è stato tradotto usando ChatGPT.

LGiki avatar Dec 02 '23 00:12 LGiki

So I also cannot install this extension in Gnome 45. I've been using it since Gnome 43 (and have been loving it!) but even on the Gnome Extensions page it doesn't seem to be available for Gnome 45.

image

Is it supposed to be supported for Gnome 45?

rlad78 avatar Dec 10 '23 16:12 rlad78

@rlad78 I think this fantastic extension has now been abandoned by @LGiki

lorebored avatar Dec 17 '23 21:12 lorebored

Hi guys,

I have found a solution for gnome 45, at least, it works for me.

  1. Install the extension manually following the instructions in the "Build" section of the readme.
  2. If the extension is not recognised, execute the following command gnome-shell --replace &. The command was found here. When I ran the command on my PC, I received an error and had to log out and log back in.
  3. The extension should work correctly.

If this doesn't work, try to remove the old file of the extension and try again the steps above. rm -rf $HOME/.local/share/gnome-shell/extensions/[email protected].

imagen imagen

Nieto2018 avatar Jan 04 '24 14:01 Nieto2018