3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

35 commits

Author SHA1 Message Date
Vasyl Solovei 66d2ec52e7 gnomeExtensions.timepp: init at 2018.03.17 2018-03-18 11:28:48 +02:00
Jan Tojnar 0f2dc6c209
chrome-gnome-shell: 9 → 10 2018-03-05 04:50:48 +01:00
Jan Tojnar a31d98f312
tree-wide: autorename gnome packages to use dashes 2018-02-25 17:41:16 +01:00
Jon Banafato 4da66a7cf9
gnomeExtensions.pixel-saver: remove
This extension is being replaced by gnomeExtensions.no-title-bar in #35281.
2018-02-23 07:00:25 +01:00
Vasyl Solovei 5118a47baa
gnomeExtensions.no-title-bar: init at 8 2018-02-23 06:56:56 +01:00
svsdep 9058293a14 gnomeExtensions.dash-to-dock: v61 -> v62 2018-02-21 12:25:34 +02:00
Jan Tojnar 24d28874aa
Merge pull request #35197 from jonafato/gnome-shell-extension-battery-status-6
gnomeExtensions.battery-status: init at v6
2018-02-20 21:46:33 +01:00
Jon Banafato 4704514dbc gnomeExtensions.battery-status: init at v6
Add the Battery Status GNOME Shell extension.
2018-02-19 13:41:11 -05:00
Jon Banafato 05d9196f7b gnomeExtensions.taskwhisperer: init at v11
Add the TaskWhisperer GNOME Shell extension.
2018-02-19 10:55:36 -05:00
Jon Banafato d7b85321d9
gnomeExtensions.appindicator: init at v22
Add the AppIndicator Support GNOME Shell extension.
2018-02-16 12:36:30 +01:00
Jon Banafato 14b3b04c22
gnomeExtensions.remove-dropdown-arrows: init at 9
Add the Remove Dropdown Arrows GNOME Shell extension.
2018-02-14 02:36:07 +01:00
Jon Banafato c138308ec1
gnomeExtensions.clipboard-indicator: init at 30
Add the Clipboard Indicator GNOME Shell extension.
2018-02-02 00:26:49 +01:00
Jon Banafato d2e518c4c5
gnomeExtensions.icon-hider: init at 19
Add the Icon Hider GNOME Shell extension.
2018-02-02 00:16:11 +01:00
Jon Banafato d48e704e38 gnome-shell-extension-pixel-saver: init at 1.10 2018-01-23 21:17:19 -05:00
Jon Banafato 6e862fb43b gnome-shell-extension-nohotcorner: init at 16.0 2018-01-23 00:48:27 -05:00
Rostislav Beneš 062cafab8c
firefox: add option for chrome-gnome-shell native messaging host 2018-01-13 15:22:52 +01:00
Jan Tojnar 38b6d7b60e
nixos/chrome-gnome-shell: init 2018-01-13 15:19:19 +01:00
Jan Tojnar 665a0d2836
chrome-gnome-shell: 7d99523 → 9 2018-01-13 15:17:52 +01:00
Sébastien Maccagnoni 9db8e22679
gnomeExtensions.mediaplayer: init at 3.5 2017-12-30 20:00:22 +01:00
Katona László 19175d4f7b dash-to-panel: init at v11 2017-12-29 20:23:08 +01:00
Jan Tojnar ce6cc6e229
gnomeExtensions.topicons-plus: 20 -> 21 2017-11-26 03:10:56 +01:00
Jan Tojnar eac4e05e89
gnomeExtensions.dash-to-dock: 60 -> 61 2017-11-26 03:10:55 +01:00
Linus Heckemann b73e3b6095 GNOME: 3.22 -> 3.24
This is a squash commit of the joint work from:

* Jan Tojnar (@jtojnar)
* Linus Heckemann (@lheckemann)
* Ryan Mulligan (@ryantm)
* romildo (@romildo)
* Tom Hunger (@teh)
2017-08-28 15:32:49 +01:00
Robin Gloster adb178c0e5
gnomeExtensions.topicons-plus: fix version string
It has to start with a digit.
2017-07-18 18:43:47 +02:00
Emanuele Peruffo 240b632026 gnomeExtensions.topicons-plus: init at v20 (#27116)
TopIcons extension for Gnome 3
2017-07-04 17:56:06 +01:00
Emanuele Peruffo 0b1c8793fc gnomeExtensions.caffeine: init at revision unstable-2017-06-21 (#26901)
Caffeine extension for Gnome 3
2017-07-03 08:35:31 +01:00
Michael Raskin a53fb88d33 Merge pull request #25170 from emanueleperuffo/dash-to-dock
gnomeExtensions.dash-to-dock: init at version v57
2017-05-01 16:44:37 +02:00
Emanuele Peruffo c1bc3012bb gnomeExtensions.dash-to-dock: refactor
Using makeFlags instead of patching Makefile
2017-04-24 14:48:36 +02:00
Emanuele Peruffo 8211903825 gnomeExtensions.dash-to-dock: init at version v57
I needed this extensions and wanted to share it with everyone.
I also created the new group called pkgs.gnomeExtensions.
2017-04-24 11:19:52 +02:00
dyrnade f1ec6b99c9 native host connector for gnome extensions 2017-03-30 22:49:09 +03:00
Tuomas Tynkkynen 4db1657fa7 treewide: Make explicit that 'dev' output of glib is used 2016-08-23 04:32:21 +03:00
Aneesh Agrawal 0e5122637b system-monitor gnome-shell extension: init 2016-04-15 16:19:44 -04:00
Aneesh Agrawal 54d2aaca6d workspace-grid gnome-shell extension: init 2016-04-15 16:19:43 -04:00
Aneesh Agrawal 74d7513a2a volume-mixer gnome-shell extension: init 2016-04-15 16:19:43 -04:00
Aneesh Agrawal 08125c4a5f impatience gnome-shell extension: init 2016-04-15 16:19:39 -04:00