Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

another-redis-desktop-manager: init at 1.7.1 #383343

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 6 additions & 0 deletions maintainers/maintainer-list.nix
Original file line number Diff line number Diff line change
Expand Up @@ -11532,6 +11532,12 @@
githubId = 3170771;
name = "Jo Vandeginste";
};
joyanhui = {
email = "[email protected]";
github = "joyanhui";
githubId = 40133116;
name = "Lei Yanhui";
};
jpagex = {
name = "Jérémy Pagé";
email = "[email protected]";
Expand Down
60 changes: 60 additions & 0 deletions pkgs/by-name/an/another-redis-desktop-manager/package.nix
Original file line number Diff line number Diff line change
@@ -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'
'';
}