diff options
| author | Jon Banafato <jon@jonafato.com> | 2018-01-29 23:29:33 -0500 |
|---|---|---|
| committer | Jan Tojnar <jtojnar@gmail.com> | 2018-02-02 00:26:49 +0100 |
| commit | c138308ec1b4bf47d50d2f63ac37374df62ff82b (patch) | |
| tree | 159f8a352b58f8b02e65301371c496edfdb0b3ee | |
| parent | a64f8e888ff8efb250aac65cf77aac253220f62b (diff) | |
| download | nixlib-c138308ec1b4bf47d50d2f63ac37374df62ff82b.tar nixlib-c138308ec1b4bf47d50d2f63ac37374df62ff82b.tar.gz nixlib-c138308ec1b4bf47d50d2f63ac37374df62ff82b.tar.bz2 nixlib-c138308ec1b4bf47d50d2f63ac37374df62ff82b.tar.lz nixlib-c138308ec1b4bf47d50d2f63ac37374df62ff82b.tar.xz nixlib-c138308ec1b4bf47d50d2f63ac37374df62ff82b.tar.zst nixlib-c138308ec1b4bf47d50d2f63ac37374df62ff82b.zip | |
gnomeExtensions.clipboard-indicator: init at 30
Add the Clipboard Indicator GNOME Shell extension.
| -rw-r--r-- | pkgs/desktops/gnome-3/extensions/clipboard-indicator/default.nix | 28 | ||||
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 3 |
2 files changed, 30 insertions, 1 deletions
diff --git a/pkgs/desktops/gnome-3/extensions/clipboard-indicator/default.nix b/pkgs/desktops/gnome-3/extensions/clipboard-indicator/default.nix new file mode 100644 index 000000000000..e41227e85139 --- /dev/null +++ b/pkgs/desktops/gnome-3/extensions/clipboard-indicator/default.nix @@ -0,0 +1,28 @@ +{ stdenv, fetchFromGitHub }: + +stdenv.mkDerivation rec { + name = "gnome-shell-extension-clipboard-indicator-${version}"; + version = "30"; + + src = fetchFromGitHub { + owner = "Tudmotu"; + repo = "gnome-shell-extension-clipboard-indicator"; + rev = "v${version}"; + sha256 = "1fmgmxv2y678bj0kmymkgnnglcpqk8ww053izlq46xg7s27jjdf6"; + }; + + uuid = "clipboard-indicator@tudmotu.com"; + + installPhase = '' + mkdir -p $out/share/gnome-shell/extensions/${uuid} + cp -r * $out/share/gnome-shell/extensions/${uuid} + ''; + + meta = with stdenv.lib; { + description = "Adds a clipboard indicator to the top panel and saves clipboard history"; + license = licenses.mit; + maintainers = with maintainers; [ jonafato ]; + platforms = platforms.linux; + homepage = https://github.com/Tudmotu/gnome-shell-extension-clipboard-indicator; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 7275950f1031..2b94fcfb2984 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -15010,7 +15010,7 @@ with pkgs; inherit (gnome3) evince; evolution_data_server = gnome3.evolution_data_server; - keepass = callPackage ../applications/misc/keepass { + keepass = callPackage ../applications/misc/keepass { buildDotnetPackage = buildDotnetPackage.override { mono = mono54; }; }; @@ -18874,6 +18874,7 @@ with pkgs; gnomeExtensions = { caffeine = callPackage ../desktops/gnome-3/extensions/caffeine { }; + clipboard-indicator = callPackage ../desktops/gnome-3/extensions/clipboard-indicator { }; dash-to-dock = callPackage ../desktops/gnome-3/extensions/dash-to-dock { }; dash-to-panel = callPackage ../desktops/gnome-3/extensions/dash-to-panel { }; icon-hider = callPackage ../desktops/gnome-3/extensions/icon-hider { }; |