From a3446c300ab1429c8b459171bf080b489f60ded1 Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <andersk@mit.edu>
Date: Mon, 17 Oct 2022 15:00:18 -0700
Subject: [PATCH] gnomeExtensions.argos: init at 20220930

Signed-off-by: Anders Kaseorg <andersk@mit.edu>
---
 .../gnome/extensions/argos/default.nix        | 30 +++++++++++++++++++
 .../gnome/extensions/manuallyPackaged.nix     |  1 +
 2 files changed, 31 insertions(+)
 create mode 100644 pkgs/desktops/gnome/extensions/argos/default.nix

diff --git a/pkgs/desktops/gnome/extensions/argos/default.nix b/pkgs/desktops/gnome/extensions/argos/default.nix
new file mode 100644
index 000000000000..96685f779d83
--- /dev/null
+++ b/pkgs/desktops/gnome/extensions/argos/default.nix
@@ -0,0 +1,30 @@
+{ fetchFromGitHub, lib, stdenv }:
+
+stdenv.mkDerivation rec {
+  pname = "argos-unstable";
+  version = "20220930";
+
+  src = fetchFromGitHub {
+    owner = "p-e-w";
+    repo = "argos";
+    rev = "f5f6f5bf6ab33dd2d65a490efe8faac5a0c07dc6";
+    hash = "sha256-kI8EpZ68loM5oOS9Dkde+dkldD08mo9VcDqNhecyTOU=";
+  };
+
+  installPhase = ''
+    mkdir -p "$out/share/gnome-shell/extensions"
+    cp -a argos@pew.worldwidemann.com "$out/share/gnome-shell/extensions"
+  '';
+
+  passthru = {
+    extensionUuid = "argos@pew.worldwidemann.com";
+    extensionPortalSlug = "argos";
+  };
+
+  meta = with lib; {
+    description = "Create GNOME Shell extensions in seconds";
+    license = licenses.gpl3;
+    maintainers = with maintainers; [ andersk ];
+    homepage = "https://github.com/p-e-w/argos";
+  };
+}
diff --git a/pkgs/desktops/gnome/extensions/manuallyPackaged.nix b/pkgs/desktops/gnome/extensions/manuallyPackaged.nix
index f5087ca3a69a..f37a321dae6e 100644
--- a/pkgs/desktops/gnome/extensions/manuallyPackaged.nix
+++ b/pkgs/desktops/gnome/extensions/manuallyPackaged.nix
@@ -1,6 +1,7 @@
 { callPackage }:
 {
   "arcmenu@arcmenu.com" = callPackage ./arcmenu { };
+  "argos@pew.worldwidemann.com" = callPackage ./argos { };
   "clock-override@gnomeshell.kryogenix.org" = callPackage ./clock-override { };
   "dash-to-dock@micxgx.gmail.com" = callPackage ./dash-to-dock { };
   "drop-down-terminal@gs-extensions.zzrough.org" = callPackage ./drop-down-terminal { };