3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

132 commits

Author SHA1 Message Date
Jon Banafato 0724efc305 gnomeExtensions.night-theme-switcher: init at 2.1 2019-11-03 09:34:10 -05:00
Jan Tojnar 2bd4f8023b
gnomeExtensions.gsconnect: 26 → 27
https://github.com/andyholmes/gnome-shell-extension-gsconnect/releases/tag/v27
2019-10-18 02:09:09 +02:00
worldofpeace dbe6e52150
Merge pull request #70533 from worldofpeace/arc-menu-33
gnomeExtensions.arc-menu: 33.2 -> 33
2019-10-10 19:19:33 +00:00
worldofpeace 5883c59f76
Merge pull request #70880 from jtojnar/no-no-hot-corners
gnomeExtensions.nohotcorner: drop
2019-10-09 20:40:03 +00:00
Jan Tojnar 59bb56a243
gnomeExtensions.nohotcorner: drop
It is part of GNOME 3.34
2019-10-09 22:09:16 +02:00
Tor Hedin Brønner 7757dd115c
Merge pull request #70705 from hedning/gnome-3.34.1
Gnome 3.34.1
2019-10-09 00:35:38 +02:00
Tor Hedin Brønner 3e3575d1fc gnomeExtensions.dash-to-dock: 20190921 -> 67
Actual release for gnome 3.34
2019-10-08 12:08:51 +02:00
worldofpeace 209e90b41e gnomeExtensions.arc-menu: 33.2 -> 33
Despite the 33.3 -> 33 this doesn't appear to be a downgrade.
2019-10-06 13:25:25 -04:00
worldofpeace bbe7f62ace gnomeExtensions.mpris-indicator-button: init at 2019-09-29
This is essentially the replacement for gnomeExtensions.mediaplayer.
2019-10-05 09:09:46 -04:00
Jan Tojnar 4655669483
Gnome 3.34 (#68608)
Gnome 3.34
2019-10-03 00:38:54 +02:00
Tor Hedin Brønner 4b3942b75a
gnomeExtensions.dash-to-dock: 66 -> 20190921
There's still no official release for gnome-3.34
2019-10-03 00:09:20 +02:00
worldofpeace 76d12e8b88
gnomeExtension.timepp: mark as broken 2019-10-03 00:09:16 +02:00
worldofpeace eebc63aabd
gnomeExtension.tilingnome: 2019-01-18 -> 2019-09-19 2019-10-03 00:09:16 +02:00
worldofpeace 3e0539af09
gnomeExtension.taskwhisperer: mark as broken 2019-10-03 00:09:16 +02:00
worldofpeace b9f3160c2a
gnomeExtension.system-monitor-applet: mark as broken 2019-10-03 00:09:16 +02:00
worldofpeace 9599236469
gnomeExtension.sound-output-device-chooser: 2019-04-01 -> 24 2019-10-03 00:09:16 +02:00
worldofpeace d6413fc352
gnomeExtensions.remove-dropdown-arrows: 11 -> 13 2019-10-03 00:09:15 +02:00
worldofpeace 4333119b64
gnomeExtensions.pidgin-im-integration: mark as broken 2019-10-03 00:09:15 +02:00
worldofpeace 006330bce4
gnomeExtensions.icon-hider: mark as broken 2019-10-03 00:09:15 +02:00
worldofpeace 77f1d77a3b
gnomeExtensions.clipboard-indicator: mark as broken 2019-10-03 00:09:15 +02:00
worldofpeace 18f2e6230a
gnomeExtensions.caffeine: make as broken 2019-10-03 00:09:14 +02:00
worldofpeace 3b81b3a827
gnomeExtensions.arc-menu: 31 -> 33.2 2019-10-03 00:09:14 +02:00
worldofpeace fc8413d218
gnomeExtensions.appindicator: 29 -> 30 2019-10-03 00:09:14 +02:00
worldofpeace d935c9bc59
gnomeExtensions.mediaplayer: remove
Source repo is archived and the extension was retired [0]

[0]: https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/blob/master/README.md
2019-10-03 00:09:14 +02:00
worldofpeace 643b6a8c76
Merge pull request #70042 from ericdallo/add-gnome-extension-drop-down-terminal
gnomeExtensions.drop-down-terminal: init at v24
2019-10-02 13:48:20 +00:00
Eric Dallo b1bf22ab00 gnomeExtensions.drop-down-terminal: init at 24 2019-10-02 09:44:02 -04:00
Tor Hedin Brønner 7d49165f78 gnomeExtensions.gsconnect: 23 -> 26 2019-09-30 19:39:46 +02:00
Vladimír Čunát 22a216849b
Re-Revert "Merge branch 'staging-next'"
This reverts commit f8a8fc6c7c.
2019-09-22 09:38:09 +02:00
Vladimír Čunát f8a8fc6c7c
Revert "Merge branch 'staging-next'"
This reverts commit 41af38f372, reversing
changes made to f0fec244ca.

Let's delay this.  We have some serious regressions.
2019-09-21 20:05:09 +02:00
Jan Tojnar 9b6789de73
tree-wide: replace wrapProgram with wrapGApp
where appropriate
2019-09-10 17:54:57 +02:00
volth 7b8fb5c06c treewide: remove redundant quotes 2019-09-08 23:38:31 +00:00
Bjørn Forsman 1a1a7ed266 gnomeExtensions.system-monitor: 36 -> 38
Remove "broken = true" since this version supports GNOME 3.32.
2019-09-08 19:51:57 +02:00
worldofpeace 93e5683353
Merge pull request #68182 from worldofpeace/chrome-gnome-shell
nixos/gnome3: enable chrome-gnome-shelll
2019-09-07 03:13:22 -04:00
worldofpeace b92fc09d46 chrome-gnome-shell: remove firefox note 2019-09-05 23:20:30 -04:00
Vladimír Čunát 4aad2947f8
Merge branch 'master' into staging-next 2019-09-04 11:00:56 +02:00
worldofpeace 59e68d3b74 treewide: don't use single quotes with placeholder 2019-09-03 13:01:42 -04:00
Jan Tojnar 4a220b64b4
Merge pull request #67964 from dkabot/arc-menu_init
gnomeExtensions.arc-menu: init at 31
2019-09-03 04:26:44 +02:00
dkabot 51e71596f8 gnomeExtensions.arc-menu: init at 31 2019-09-02 19:03:18 -04:00
dkabot 88e1eef45f gnomeExtensions.dash-to-panel: 19 -> 23 2019-09-02 17:26:59 -04:00
volth 08f68313a4 treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
worldofpeace 8250fcb326 fixup! treewide: use glib.{getSchemaPath, makeSchemaPath} 2019-08-27 14:25:43 -04:00
worldofpeace 7bb8f05f12 treewide: use glib.{getSchemaPath, makeSchemaPath} 2019-08-26 21:28:17 -04:00
volth c814d72b51 treewide: name -> pname 2019-08-17 10:54:38 +00:00
volth 46420bbaa3 treewide: name -> pname (easy cases) (#66585)
treewide replacement of

stdenv.mkDerivation rec {
  name = "*-${version}";
  version = "*";

to pname
2019-08-15 13:41:18 +01:00
Jan Tojnar 82061dedaa
gnomeExtensions.pidgin-im-integration: 1.0.1 -> 32
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/pidgin-im-gnome-shell-extension/versions
2019-08-01 13:20:18 +02:00
Jan Tojnar 9d8984e5c9
gnomeExtensions.pidgin-im-integration: move from gnome3.pidgin-im-gnome-shell-extension 2019-08-01 13:20:18 +02:00
R. RyanTM f3ad4381ba gnomeExtensions.appindicator: 28 -> 29
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gnome-shell-extension-appindicator/versions
2019-07-01 09:01:51 -07:00
Jan Tojnar b85cbd96c2
gnomeExtensions.gsconnect: 21 → 23
https://github.com/andyholmes/gnome-shell-extension-gsconnect/releases/tag/v22
2019-05-03 04:34:43 +02:00
Jon Banafato 4916f338b5 gnomeExtensions.icon-hider: 21 -> 23
Upgrade to the latest version, now with GNOME 3.32 support. Mark as not
broken. Full changelog available at
https://github.com/ikalnytskyi/gnome-shell-extension-icon-hider/compare/v21...v23
2019-04-21 20:39:34 -04:00
Jan Tojnar 9d32a1c9d2
gnomeExtensions.window-corner-preview: unstable-2019-02-27 → unstable-2019-04-03 2019-04-17 21:10:32 +02:00