search

0ry0n / Resource_Monitor

Resource_Monitor is a GNOME Shell extension that Monitor the use of system resources like cpu, ram, disk, network and display them in GNOME Shell top bar.
GNU General Public License v3.0
143 stars 20 forks source link

Make usage of NetworkManager optional #51

Closed bacher09 closed 1 year ago

bacher09 commented 1 year ago

Gnome can be compiled without NetworkManager, in that case installation of the plugin fails, because import of imports.gi.NM fails. NetworkManager affects only auto hide functionality of a net monitor, so if this import fails, the plugin could work just fine without it.

I've tested this both on a machine where gnome-shell was compiled without NM, and on another machine which has NM.

0ry0n commented 1 year ago

Thanks for the contribution, I inserted the change in the new version.