From b7754efb614a895667a2482722c423e7bf7d2f43 Mon Sep 17 00:00:00 2001
From: Miran Bastaja <miran.bastaja04@gmail.com>
Date: Sun, 4 Aug 2024 08:15:04 +0200
Subject: hyprdesktop: add lean and vscodium

---
 share/hm-modules/hyprdesktop.nix | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'share')

diff --git a/share/hm-modules/hyprdesktop.nix b/share/hm-modules/hyprdesktop.nix
index 5bcd901..56f64d3 100644
--- a/share/hm-modules/hyprdesktop.nix
+++ b/share/hm-modules/hyprdesktop.nix
@@ -112,6 +112,7 @@ in
         lua
         (rust-bin.selectLatestNightlyWith (toolchain: toolchain.default))
         c3c
+        lean4
 
         # TUI/GUI programs
         cmus # music player
@@ -130,6 +131,7 @@ in
         heroic # FOSS game launcher for GOG & Epic
         foliate
         prismlauncher
+        vscodium-fhs
 
         # Other
         # It seems that not all gtk icon themes contain all icons? At least the
-- 
cgit v1.3.1