nix/configurations/vanadium.nix

@@ -125,7 +125,7 @@ in
 
     (sources.agenix + "/modules/age.nix")
 
-    sources.url-eater.asFlake.nixosModules.default
+    (import sources.url-eater).nixosModules.default
 
     (sources.nixos-hardware + "/framework/13-inch/7040-amd")
 
@@ -190,7 +190,7 @@ in
         # Extern modules
         #
         (sources.agenix + "/modules/age-home.nix")
-        sources.wired-notify.asFlake.homeManagerModules.default
+        (import sources.wired-notify).homeManagerModules.default
       ];
     }
 

nix/configurations/vanadium/home/xmobar/xmobar.hs

@@ -62,8 +62,10 @@ config =
 
     , commands =
         [ Run $ DateZone "%a %d %H:%M:%S" "" ""                 "hereClock"    (1  &second)
+        , Run $ DateZone "%H:%M"          "" "America/Aruba"    "arubaClock"   (10 &second)
         , Run $ DateZone "%H:%M"          "" "Europe/Dublin"    "dublinClock"  (10 &second)
-        , Run $ DateZone "%H:%M"          "" "Europe/Paris"     "parisClock"   (10 &second)
+        , Run $ DateZone "%H:%M"          "" "America/New_York" "newYorkClock" (10 &second)
+        , Run $ DateZone "%H:%M"          "" "Europe/Paris"     "cetClock"     (10 &second)
         , Run $ DateZone "%H:%M"          "" "Asia/Taipei"      "tstClock"     (10 &second)
         , Run $
             Com
@@ -74,7 +76,8 @@ config =
               , "--target", "2025-09-16=snip snip"
               , "--target", "2025-10-13=no teef"
               , "--target", "2025-10-31=dragon book"
-              , "--target", "2025-11-19=scalpel"
+              , "--target", "2025-11-21=scalpel"
+              , "--target", "2025-11-21=baguette"
               , "--target", "2025-11-29=à deux"
               , "--target", "2025-12-16=dragon book"
               , "--target", "2025-12-30=seule"
@@ -122,8 +125,10 @@ config =
             <> alignSep config
             <> intercalate "|"
               [ (unwords . map greyFg)
-                  [ "[DUB: %dublinClock%]"
+                  [ "[AUA: %arubaClock%]"
-                  , "[CDG: %parisClock%]"
+                  , "[DUB: %dublinClock%]"
+                  , "[JFK: %newYorkClock%]"
+                  , "[CDG: %cetClock%]"
                   , "[TPE: %tstClock%]"
                   ]
                 <> " "

nix/configurations/vanadium/home/xmonad/leanamonad.cabal

@@ -25,6 +25,7 @@ library
   hs-source-dirs: lib
   exposed-modules:
     XMonad.Layout.Reflect.Message
+    XMonad.Layout.ResizableTile.FixDescription
     Data.Char.Greek
 
 executable leanamonad

nix/configurations/vanadium/home/xmonad/lib/XMonad/Layout/ResizableTile/FixDescription.hs

@@ -0,0 +1,23 @@
+{-# LANGUAGE FlexibleInstances, MultiParamTypeClasses #-}
+
+module XMonad.Layout.ResizableTile.FixDescription
+  ( RTFixDescription(..)
+  ) where
+
+import XMonad
+import qualified XMonad.StackSet as W
+import XMonad.Layout.ResizableTile
+
+newtype RTFixDescription a = RTFixDescription { unwrapRT :: ResizableTall a }
+    deriving (Read, Show)
+
+instance LayoutClass RTFixDescription a where
+  runLayout (W.Workspace t l s) =
+    let ws' = W.Workspace t (unwrapRT l) s
+    in  (fmap . fmap . fmap) RTFixDescription . runLayout ws'
+
+  handleMessage (RTFixDescription l) =
+    (fmap . fmap) RTFixDescription . handleMessage l
+
+  description (RTFixDescription l) =
+    description l <> " " <> show (_nmaster l)

nix/configurations/vanadium/home/xmonad/xmonad.hs

@@ -13,12 +13,12 @@ import XMonad.Hooks.ManageHelpers
 import XMonad.Hooks.OnPropertyChange
 import XMonad.Hooks.RefocusLast
 import XMonad.Hooks.StatusBar
-import XMonad.Layout.FocusTracking
 import XMonad.Layout.NoBorders
 import XMonad.Layout.Reflect
 import XMonad.Layout.Reflect.Message
 import XMonad.Layout.Renamed
 import XMonad.Layout.ResizableTile
+import XMonad.Layout.ResizableTile.FixDescription
 import XMonad.Layout.Spacing
 import qualified XMonad.StackSet as W
 import XMonad.Util.EZConfig
@@ -27,9 +27,7 @@ import XMonad.Util.NamedScratchpad
 import XMonad.Util.SpawnOnce
 import XMonad.Layout.Magnifier
 
-import Data.Function
 import Data.Char.Greek
-import Data.Ratio
 import Data.Semigroup
 import qualified Data.Map.Strict as M
 import System.Posix
@@ -40,10 +38,10 @@ main =
   xmonad
   -- Fix all java things that don't scale with XMonad
   -- https://wiki.archlinux.org/title/java#Gray_window,_applications_not_resizing_with_WM,_menus_immediately_closing
-  $ javaHack
+  . javaHack
-  $ withSB xmobarConfig . docks
+  . withSB xmobarConfig . docks
-  $ setEwmhActivateHook myActivateHook
+  . setEwmhActivateHook myActivateHook
-  $ ewmhFullscreen . ewmh
+  . ewmhFullscreen . ewmh
   $ def
       { modMask            = superMask
       , borderWidth        = 5
@@ -64,14 +62,14 @@ main =
     `additionalKeys` keybinds
 
 myLayout =
-  let tallr = renamed [ Replace "Tall" ]
+  let tallr = renamed [ KeepWordsRight 2 ] {- keep "ResizableTall n" -}
               $ smartSpacingWithEdge 5
               $ reflectMsg . reflectHoriz
+              $ RTFixDescription
               $ ResizableTall 1 (1/10) (3/7) []
       mag = magnifyxy 1.05 1.3 (NoMaster 3) False
-  in  avoidStruts
+   in avoidStruts . smartBorders $
-      $ smartBorders
+        mag tallr ||| Full
-      $ mag tallr ||| focusTracking Full
 
 isSioyek :: Query Bool
 isSioyek = className =? "sioyek"
@@ -150,35 +148,27 @@ myManageHook =
     ]
   <> namedScratchpadManageHook myScratchpads
 
--- TODO: is there a way to always open certain sites in new windows in firefox?
--- TODO: stop full screen when move happens
 myEventHandleHook :: Event -> X All
 myEventHandleHook =
-  -- If the title changes in the background, we don't want to greedy view that workspace.
+  -- TODO: is there a way to always open certain sites in new windows in firefox?
-  -- Imagine Spotify playing in the background, a track change would focus that workspace.
+  onTitleChange $ composeAll
-  -- We prevent this by checking if the window is in the current workspace
+    [ isSpotify  --> doShiftAndViewIfMoved multimediaWS
-  onTitleChange
+    , isYouTube  --> doShiftAndViewIfMoved multimediaWS
-    $ (windowIsInCurrentWorkspace -->)
+    , isDiscord  --> doShiftAndViewIfMoved chatWS
-    $ composeAll
+    , isWhatsApp --> doShiftAndViewIfMoved chatWS
-    [ isSpotify  --> doShiftAndGreedyView multimediaWS
+    , isElement  --> doShiftAndViewIfMoved chatWS
-    , isYouTube  --> doShiftAndGreedyView multimediaWS
-    , isDiscord  --> doShiftAndGreedyView chatWS
-    , isWhatsApp --> doShiftAndGreedyView chatWS
-    , isElement  --> doShiftAndGreedyView chatWS
     ]
 
-doShiftAndGreedyView :: WorkspaceId -> Query (Endo WindowSet)
+-- If the title changes in the background, we don't want to greedy view that workspace.
-doShiftAndGreedyView n = doF . go =<< ask
+-- Imagine Spotify playing in the background, a track change would focus that workspace.
-  where go :: Window -> WindowSet -> WindowSet
+-- We prevent this by checking if the window is already there.
-        go w s = W.greedyView n $ W.shiftWin n w s
+doShiftAndViewIfMoved :: WorkspaceId -> Query (Endo WindowSet)
+doShiftAndViewIfMoved n = doF . shiftAndViewIfMoved n =<< ask
 
-hasProp :: (Window -> WindowSet -> Bool) -> Query Bool
+shiftAndViewIfMoved :: WorkspaceId -> Window -> WindowSet -> WindowSet
-hasProp f = f <$> ask <*> (liftX $ gets windowset)
+shiftAndViewIfMoved n w s = case W.findTag w s of
-
+  Just from | n `W.tagMember` s && n /= from -> W.greedyView n $ W.shiftWin n w s
-windowIsInCurrentWorkspace :: Query Bool
+  _ -> s
-windowIsInCurrentWorkspace = hasProp $ \w s -> case W.findTag w s of
-  Just from | from == W.currentTag s -> True
-  _ -> False
 
 myStartupHook :: X ()
 myStartupHook = do
@@ -325,41 +315,21 @@ chatWS :: WorkspaceId
 chatWS = myWorkspaces !! 3
 
 centeredFloat, smallFloat, fullFloat, buttomRightFloat :: W.RationalRect
-centeredFloat    = W.RationalRect (1%9) (1%9) (7%9) (7%9)
+centeredFloat    = W.RationalRect (1/9) (1/9) (7/9) (7/9)
-smallFloat       = W.RationalRect (3%5) (3%5) (2%7) (2%7)
+smallFloat       = W.RationalRect (3/5) (3/5) (2/7) (2/7)
 fullFloat        = W.RationalRect     0     0     1     1
-buttomRightFloat = W.RationalRect (1%2) (1%2) (1%2) (1%2)
+buttomRightFloat = W.RationalRect (1/2) (1/2) (1/2) (1/2)
 
 xmobarConfig :: StatusBarConfig
-xmobarConfig = statusBarProp "xmobar -x 0" myPrettyPrinter
+xmobarConfig = statusBarProp "xmobar -x 0" (pure myPrettyPrinter)
   where
-    mkPpCurrent :: X (String -> String)
+    myPrettyPrinter =
-    mkPpCurrent = do
+      filterOutWsPP [scratchpadWorkspaceTag]
-      windowCount <- gets $ length . W.integrate' . W.stack . W.workspace . W.current . windowset
+      $ def
-      pure $ \wid ->
+        { ppCurrent         = xmobarColor "#000000" "#ffffff" . wrap " " " " . fmap toUpper
-        wid <> (if windowCount > 1 then ":" <> show windowCount else mempty)
+        , ppHiddenNoWindows = xmobarColor "#9c9c9c" "" . const "⋅"
-        & xmobarColor "#000000" "#ffffff" . wrap " " " "
+        , ppSep             = " | "
-
+        }
-    mkPpHidden :: X (String -> String)
-    mkPpHidden = do
-      m <- gets $ M.fromList . map (\x -> (W.tag x, length . W.integrate' . W.stack $ x)) . W.hidden . windowset
-      pure $ \wid ->
-        let windowCount = m M.! wid
-        in  wid <> (if windowCount > 1 then ":" <> show windowCount else mempty)
-            & xmobarColor "#ffffff" ""
-
-    myPrettyPrinter :: X PP
-    myPrettyPrinter = do
-      myPpCurrent <- mkPpCurrent
-      myPpHidden <- mkPpHidden
-      pure
-        $ filterOutWsPP [scratchpadWorkspaceTag]
-        $ def
-          { ppCurrent         = myPpCurrent
-          , ppHiddenNoWindows = xmobarColor "#9c9c9c" "" . const "⋅"
-          , ppHidden          = myPpHidden
-          , ppSep             = " | "
-          }
 
 myScratchpads :: [NamedScratchpad]
 myScratchpads =