From d39b7bb23bf31387028aa1ab31ef4738ae10d737 Mon Sep 17 00:00:00 2001 From: joyanhui Date: Wed, 19 Feb 2025 18:47:16 +0800 Subject: [PATCH] another-redis-desktop-manager: init at 1.7.1 --- .../another-redis-desktop-manager/package.nix | 60 +++++++++++++++++++ 1 file changed, 60 insertions(+) create mode 100644 pkgs/by-name/an/another-redis-desktop-manager/package.nix diff --git a/pkgs/by-name/an/another-redis-desktop-manager/package.nix b/pkgs/by-name/an/another-redis-desktop-manager/package.nix new file mode 100644 index 0000000000000..7da38c4702521 --- /dev/null +++ b/pkgs/by-name/an/another-redis-desktop-manager/package.nix @@ -0,0 +1,60 @@ +{ + lib, + stdenv, + fetchurl, + appimageTools, + libxshmfence, +}: +let + pname = "another-redis-desktop-manager"; + version = "1.7.1"; + src = + fetchurl + { + x86_64-linux = { + url = "https://github.com/qishibo/AnotherRedisDesktopManager/releases/download/v${version}/Another-Redis-Desktop-Manager-linux-${version}-x86_64.AppImage"; + hash = "sha256-XuS4jsbhUproYUE2tncT43R6ErYB9WTg6d7s16OOxFQ="; + }; + aarch64-linux = { + url = "https://github.com/qishibo/AnotherRedisDesktopManager/releases/download/v${version}/Another-Redis-Desktop-Manager-linux-${version}-arm64.AppImage"; + hash = "sha256-0WXWl0UAQBqJlvt2MNpNHuqmEAlIlvY0FfHXu4LKkcY="; + }; + } + .${stdenv.hostPlatform.system} or (throw "Unsupported system: ${stdenv.system}"); + meta = { + description = "Faster, better and more stable redis desktop manager"; + longDescription = '' + Faster, better, more stable Redis Desktop (GUI) management client, compatible with Windows, Mac, Linux, superior performance, easy to load massive key values. + Supports Sentinel, clustering, ssh channels, ssl authentication, stream, subscribe, tree view, command line, and dark mode; A variety of formatting methods, and even the ability to customize formatting scripts, + ''; + homepage = "https://github.com/qishibo/AnotherRedisDesktopManager"; + changelog = "https://github.com/qishibo/AnotherRedisDesktopManager?tab=readme-ov-file#feature-log"; + license = lib.licenses.mit; + sourceProvenance = with lib.sourceTypes; [ binaryNativeCode ]; + maintainers = with lib.maintainers; [ + joyanhui + ]; + platforms = lib.platforms.linux; + mainProgram = "another-redis-desktop-manager"; + }; + appimageContents = appimageTools.extract { inherit pname version src; }; +in +appimageTools.wrapType2 { + inherit + pname + version + src + meta + ; + extraPkgs = pkgs: [ + libxshmfence + ]; + extraInstallCommands = '' + mkdir -p $out/share/another-redis-desktop-manager + cp -a ${appimageContents}/{locales,resources} $out/share/another-redis-desktop-manager + cp -a ${appimageContents}/usr/share/icons $out/share/ + install -Dm 444 ${appimageContents}/another-redis-desktop-manager.desktop -t $out/share/applications + substituteInPlace $out/share/applications/another-redis-desktop-manager.desktop \ + --replace-fail 'Exec=AppRun --no-sandbox %U' 'Exec=another-redis-desktop-manager' + ''; +}