Unverified Commit 7e9d942c authored by piegames's avatar piegames Committed by GitHub
Browse files

Merge PR #225300: gnomeExtensions.vitals: Patch it to find libgtop

parents 688b2295 fa46b78b

pkgs/desktops/gnome/extensions/extensionOverrides.nix

+9 −0
Original line number Diff line number Diff line
@@ -122,6 +122,15 @@ super: lib.trivial.pipe super [ 
    ];

  }))



  (patchExtension "Vitals@CoreCoding.com" (old: {

    patches = [

      (substituteAll {

        src = ./extensionOverridesPatches/vitals_at_corecoding.com.patch;

        gtop_path = "${libgtop}/lib/girepository-1.0";

      })

    ];

  }))



  (patchExtension "unite@hardpixel.eu" (old: {

    buildInputs = [ xprop ];

pkgs/desktops/gnome/extensions/extensionOverridesPatches/vitals_at_corecoding.com.patch

0 → 100644
+14 −0
Original line number Diff line number Diff line 
diff --git i/sensors.js w/sensors.js

index 5ab7068..00cfa19 100644

--- i/sensors.js

+++ w/sensors.js

@@ -29,6 +29,9 @@ const Me = imports.misc.extensionUtils.getCurrentExtension();

 const FileModule = Me.imports.helpers.file;

 const Gettext = imports.gettext.domain(Me.metadata['gettext-domain']);

 const _ = Gettext.gettext;

+

+imports.gi.GIRepository.Repository.prepend_search_path('@gtop_path@');

+

 const NM = imports.gi.NM;

 

 let GTop, hasGTop = true;