Logs on 2023-11-08 (liberachat/#xmonad)
| 00:03:42 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 00:12:56 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 00:17:45 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 00:26:41 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 00:31:56 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 00:40:00 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 00:43:15 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 00:45:25 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 00:51:09 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 01:00:41 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 01:04:28 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 01:05:02 | × | alp quits (~alp@2001:861:5e02:eff0:86bc:a0a1:58c4:4dac) (Ping timeout: 252 seconds) |
| 01:07:55 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 01:14:10 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 01:15:40 | × | exordiri quits (~ex@user/exordiri) (Server closed connection) |
| 01:16:58 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 01:18:16 | → | exordiri joins (~ex@user/exordiri) |
| 01:19:58 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 01:22:04 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 01:25:09 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 01:39:36 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 01:47:02 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 01:58:04 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 02:01:11 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 02:07:10 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 02:12:14 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 02:16:24 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 02:19:28 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 02:34:09 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 02:37:25 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 02:46:52 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 02:50:44 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 02:52:14 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 02:56:28 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 03:02:52 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 03:06:10 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 03:06:32 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 03:11:18 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 03:20:53 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 03:23:48 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 03:26:44 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 03:29:57 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 03:40:16 | → | Inst joins (~Inst@120.244.192.250) |
| 03:45:49 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 03:47:47 | × | td_ quits (~td@i5387090C.versanet.de) (Ping timeout: 255 seconds) |
| 03:48:56 | → | todi joins (~todi@79.209.163.230) |
| 03:49:28 | → | td_ joins (~td@i53870921.versanet.de) |
| 03:56:55 | × | todi quits (~todi@79.209.163.230) (Read error: Connection reset by peer) |
| 04:01:08 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 04:14:59 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 04:18:43 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 04:21:27 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 240 seconds) |
| 04:44:58 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 04:46:53 | × | vrs quits (~vrs@user/vrs) (Server closed connection) |
| 04:47:11 | → | vrs joins (~vrs@user/vrs) |
| 04:48:35 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 04:50:28 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 04:55:42 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 04:56:54 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 05:00:31 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 05:36:39 | → | thunderrd joins (~thunderrd@183.182.111.58) |
| 05:37:57 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 05:42:09 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 05:45:38 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 05:48:48 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 05:49:33 | × | kaskal- quits (~kaskal@2001:4bb8:2c2:d155:91d2:a4ad:c9f9:5f9a) (Ping timeout: 260 seconds) |
| 05:50:09 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 05:52:08 | → | kaskal joins (~kaskal@89.144.222.250) |
| 05:53:19 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 05:57:16 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 06:01:18 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 06:05:00 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 06:07:57 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 06:10:44 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 06:14:01 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 06:16:10 | → | alp joins (~alp@2001:861:5e02:eff0:2565:907e:1d8d:7aea) |
| 06:20:39 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 06:24:56 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 06:26:41 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 06:30:54 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 06:31:59 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 06:35:45 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 06:37:07 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 06:40:42 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 06:40:57 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 06:44:20 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 06:44:52 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 06:49:39 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 06:56:52 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 07:01:33 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 07:03:31 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 07:10:38 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 07:16:57 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 07:20:39 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 07:25:18 | <Solid> | [Leary]: I guess to get proper HLS support for my config I'll need to create an extra flake in the xmonad directory? |
| 07:25:27 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 07:26:10 | <Solid> | Or is there a smart way so that I can tell a shell that <nixpkgs> should really be the (theoretical) output of my flake? |
| 07:29:20 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 07:35:00 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 07:38:09 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 07:39:00 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 07:44:08 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 07:44:58 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 07:48:44 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 07:49:36 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 07:50:41 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 07:50:45 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 07:57:53 | × | alp quits (~alp@2001:861:5e02:eff0:2565:907e:1d8d:7aea) (Ping timeout: 260 seconds) |
| 08:31:23 | <[Leary]> | Solid: I've never bothered with HLS (I'm happy with ghcid, which can run over "$XMONOD_GHC"i); I'm not familiar with the associated needs and difficulties. I suppose it would want your config to be a cabal package, which would receive its dependencies from an environment provided by nix ... writing a flake may indeed be the easiest way, but don't take my word for it, better to ask #nixos. |
| 08:32:57 | → | alp joins (~alp@2001:861:5e02:eff0:2d1c:5a65:2649:274e) |
| 08:33:54 | <[Leary]> | You can supplant literal <nixpgks> via NIX_PATH, or flake-input nixpkgs with e.g. `nix develop . --override-input nixpkgs ...`, but I'm not sure these will make your life any easier. |
| 08:48:15 | × | scardinal quits (~supreme@87.61.100.169) (Ping timeout: 240 seconds) |
| 08:50:23 | → | scardinal joins (~supreme@87.61.100.169) |
| 09:33:10 | × | sundbry quits (~quassel@2600:1700:38c6:180:a1da:9e07:832c:1349) (Remote host closed the connection) |
| 09:34:17 | → | sundbry joins (~quassel@2600:1700:38c6:180:a1da:9e07:832c:1349) |
| 09:38:10 | <xmonadtrack> | xmonad-contrib jpolchlo {Tony Zorman} * v0.17.1-212-gda566d63: X.P.Unicode: Add docs about UnicodeData.txt (11 hours ago, 1 file, 5+ 0-) https://github.com/xmonad/xmonad-contrib/commit/da566d63e69d |
| 09:38:13 | <xmonadtrack> | xmonad-contrib Tony Zorman {GitHub} * v0.17.1-213-g8035db1b: Merge pull request #841 from jpolchlo/docs/unicode-prompt (3 minutes ago, 0 files, 0+ 0-) https://github.com/xmonad/xmonad-contrib/commit/8035db1bd0ee |
| 10:27:35 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 11:03:04 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 11:12:46 | × | ft quits (~ft@p4fc2a529.dip0.t-ipconnect.de) (Quit: leaving) |
| 12:24:44 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Server closed connection) |
| 12:25:43 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 12:43:20 | × | sundbry quits (~quassel@2600:1700:38c6:180:a1da:9e07:832c:1349) (Quit: No Ping reply in 180 seconds.) |
| 12:44:27 | → | sundbry joins (~quassel@2600:1700:38c6:180:a1da:9e07:832c:1349) |
| 14:47:45 | <haskellbridge> | <frankitox> Hi everyone 👋 I'm having a hard time configuring xmonad, I want to define a shortcut `modMask + q` such that it xmonad switches to workspace 1. So, in a way, it's an alias of the default shortcut `modMask + 1`. How can I accomplish this? This is the best attempt I did: |
| 14:47:45 | <haskellbridge> | <frankitox> ``` |
| 14:47:47 | <haskellbridge> | <frankitox> import XMonad (def, modMask, mod4Mask, spawn, (.|.), controlMask, mod1Mask, xK_q, xK_t, xK_f, borderWidth, layoutHook, windows) |
| 14:47:48 | <haskellbridge> | <frankitox> import XMonad.Main (xmonad) |
| 14:47:49 | <haskellbridge> | <frankitox> import XMonad.Util.PureX (greedyView) |
| 14:47:51 | <haskellbridge> | <frankitox> import XMonad.Layout.Grid |
| 14:47:52 | <haskellbridge> | <frankitox> import XMonad.Util.EZConfig (additionalKeys) |
| 14:47:53 | <haskellbridge> | <frankitox> import XMonad.Actions.PhysicalScreens (viewScreen) |
| 14:47:54 | <haskellbridge> | <frankitox> main :: IO () |
| 14:47:56 | <haskellbridge> | <frankitox> main = xmonad $ def |
| 14:47:57 | <haskellbridge> | <frankitox> { modMask = mod4Mask |
| 14:47:58 | <haskellbridge> | <frankitox> , borderWidth = 0 |
| 14:48:00 | <haskellbridge> | <frankitox> , layoutHook = Grid} |
| 14:48:01 | <haskellbridge> | <frankitox> `additionalKeys` |
| 14:48:02 | <haskellbridge> | <frankitox> [ |
| 14:48:04 | <haskellbridge> | <frankitox> ((mod4Mask, xK_q), windows $ greedyView "1") |
| 14:48:05 | <haskellbridge> | <frankitox> ] |
| 14:48:06 | <haskellbridge> | <frankitox> -- (modMask, xK_q) |
| 14:48:07 | <haskellbridge> | <frankitox> ``` |
| 14:48:09 | <haskellbridge> | <frankitox> Hi everyone 👋 I'm having a hard time configuring xmonad, I want to define a shortcut `modMask + q` such that it xmonad switches to workspace 1. So, in a way, it's an alias of the default shortcut `modMask + 1`. How can I accomplish this? This is the best attempt I tried: |
| 14:48:10 | <haskellbridge> | <frankitox> ``` |
| 14:48:11 | <haskellbridge> | <frankitox> import XMonad (def, modMask, mod4Mask, spawn, (.|.), controlMask, mod1Mask, xK_q, xK_t, xK_f, borderWidth, layoutHook, windows) |
| 14:48:13 | <haskellbridge> | <frankitox> import XMonad.Main (xmonad) |
| 14:48:14 | <haskellbridge> | <frankitox> import XMonad.Util.PureX (greedyView) |
| 14:48:15 | <haskellbridge> | <frankitox> import XMonad.Layout.Grid |
| 14:48:17 | <haskellbridge> | <frankitox> import XMonad.Util.EZConfig (additionalKeys) |
| 14:48:18 | <haskellbridge> | <frankitox> import XMonad.Actions.PhysicalScreens (viewScreen) |
| 14:48:19 | <haskellbridge> | <frankitox> main :: IO () |
| 14:48:20 | <haskellbridge> | <frankitox> main = xmonad $ def |
| 14:48:22 | <haskellbridge> | <frankitox> { modMask = mod4Mask |
| 14:48:23 | <haskellbridge> | <frankitox> , borderWidth = 0 |
| 14:48:24 | <haskellbridge> | <frankitox> , layoutHook = Grid} |
| 14:48:26 | <haskellbridge> | <frankitox> `additionalKeys` |
| 14:48:27 | <haskellbridge> | <frankitox> [ |
| 14:48:28 | <haskellbridge> | <frankitox> ((mod4Mask, xK_q), windows $ greedyView "1") |
| 14:48:30 | <haskellbridge> | <frankitox> ] |
| 14:48:31 | <haskellbridge> | <frankitox> -- (modMask, xK_q) |
| 14:48:32 | <haskellbridge> | <frankitox> ``` |
| 14:49:26 | <haskellbridge> | <frankitox> Using this I'm getting the error |
| 14:49:27 | <haskellbridge> | <frankitox> ``` |
| 14:49:28 | <haskellbridge> | <frankitox> xmonad.hs:15:33: error: |
| 14:49:29 | <haskellbridge> | <frankitox> * Couldn't match type `base-4.17.2.0:Data.Semigroup.Internal.Any' |
| 14:49:31 | <haskellbridge> | <frankitox> with `XMonad.StackSet.StackSet |
| 14:49:32 | <haskellbridge> | <frankitox> XMonad.Core.WorkspaceId |
| 14:49:33 | <haskellbridge> | <frankitox> (XMonad.Core.Layout Graphics.X11.Types.Window) |
| 14:49:35 | <haskellbridge> | <frankitox> Graphics.X11.Types.Window |
| 14:49:36 | <haskellbridge> | <frankitox> XMonad.Core.ScreenId |
| 14:49:37 | <haskellbridge> | <frankitox> XMonad.Core.ScreenDetail' |
| 14:49:38 | <haskellbridge> | <frankitox> Expected: XMonad.Core.WindowSet -> XMonad.Core.WindowSet |
| 14:49:40 | <haskellbridge> | <frankitox> Actual: XMonad.Core.WindowSet |
| 14:49:41 | <haskellbridge> | <frankitox> -> base-4.17.2.0:Data.Semigroup.Internal.Any |
| 14:49:42 | <haskellbridge> | <frankitox> * In the second argument of `($)', namely `greedyView "1"' |
| 14:49:44 | <haskellbridge> | <frankitox> In the expression: windows $ greedyView "1" |
| 14:49:45 | <haskellbridge> | <frankitox> In the expression: ((mod4Mask, xK_q), windows $ greedyView "1") |
| 14:49:46 | <haskellbridge> | <frankitox> | |
| 14:49:48 | <haskellbridge> | <frankitox> 15 | ((mod4Mask, xK_q), windows $ greedyView "1") |
| 14:49:49 | <haskellbridge> | <frankitox> | ^^^^^^^^^^^^^^ |
| 14:49:50 | <haskellbridge> | <frankitox> ``` |
| 14:54:05 | <haskellbridge> | <frankitox> Hi everyone 👋 I'm having a hard time configuring xmonad, I want to define a shortcut `modMask + q` such that xmonad switches to workspace 1. So, in a way, it's an alias of the default shortcut `modMask + 1`. How can I accomplish this? This is the best attempt I tried: |
| 14:54:05 | <haskellbridge> | <frankitox> ``` |
| 14:54:06 | <haskellbridge> | <frankitox> import XMonad (def, modMask, mod4Mask, spawn, (.|.), controlMask, mod1Mask, xK_q, xK_t, xK_f, borderWidth, layoutHook, windows) |
| 14:54:08 | <haskellbridge> | <frankitox> import XMonad.Main (xmonad) |
| 14:54:09 | <haskellbridge> | <frankitox> import XMonad.Util.PureX (greedyView) |
| 14:54:10 | <haskellbridge> | <frankitox> import XMonad.Layout.Grid |
| 14:54:11 | <haskellbridge> | <frankitox> import XMonad.Util.EZConfig (additionalKeys) |
| 14:54:13 | <haskellbridge> | <frankitox> import XMonad.Actions.PhysicalScreens (viewScreen) |
| 14:54:14 | <haskellbridge> | <frankitox> main :: IO () |
| 14:54:15 | <haskellbridge> | <frankitox> main = xmonad $ def |
| 14:54:17 | <haskellbridge> | <frankitox> { modMask = mod4Mask |
| 14:54:18 | <haskellbridge> | <frankitox> , borderWidth = 0 |
| 14:54:19 | <haskellbridge> | <frankitox> , layoutHook = Grid} |
| 14:54:21 | <haskellbridge> | <frankitox> `additionalKeys` |
| 14:54:22 | <haskellbridge> | <frankitox> [ |
| 14:54:23 | <haskellbridge> | <frankitox> ((mod4Mask, xK_q), windows $ greedyView "1") |
| 14:54:24 | <haskellbridge> | <frankitox> ] |
| 14:54:26 | <haskellbridge> | <frankitox> -- (modMask, xK_q) |
| 14:54:27 | <haskellbridge> | <frankitox> ``` |
| 15:02:16 | <[Leary]> | o g'd laird |
| 15:03:06 | <[Leary]> | frankitox: Please avoid big code blocks and matrix edits, on IRC it just becomes 77 lines of spam. |
| 15:03:15 | <[Leary]> | @where paste |
| 15:03:15 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 15:05:14 | <haskellbridge> | <frankitox> This is the config https://paste.tomsmeding.com/T8Y3Blzm I'm trying |
| 15:05:51 | <[Leary]> | As for your actual problem, don't use `windows` with functions from X.U.PureX. You want either `defile (greedyView "1")` or `windows (XMonad.Stackset.greedyView "1")`. |
| 15:08:18 | <haskellbridge> | <frankitox> So, there's more than one definition for `greedyView`? I've been using the search functionality from this page (https://xmonad.github.io/xmonad-docs/xmonad-contrib/XMonad-Config-Prime.html#g:1) to find the functions |
| 15:09:05 | <[Leary]> | Yes. You should use hoogle: https://hoogle.haskell.org/?hoogle=greedyView |
| 15:09:44 | <haskellbridge> | <frankitox> Oh, I see. Thank you!! 🙏 |
| 15:32:48 | <haskellbridge> | <frankitox> For future reference and because every config I found seemed to be quite old, this is what I ended up with: https://gist.github.com/frankitox/2be10331f8e9d5abe89de2a8008aea58 |
| 15:43:23 | × | alp quits (~alp@2001:861:5e02:eff0:2d1c:5a65:2649:274e) (Ping timeout: 252 seconds) |
| 16:05:28 | → | Nixkernal_ joins (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 16:06:53 | × | Nixkernal quits (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 258 seconds) |
| 16:09:06 | <geekosaur> | XMonad.Config.Prime is an experiment from the very early days of xmonad, don't rely on it for anything |
| 16:09:27 | <geekosaur> | I think (hope) it's being removed after the next release, it's deprecated now |
| 17:44:16 | → | alp joins (~alp@2001:861:5e02:eff0:a4ec:9755:9740:6f21) |
| 17:57:33 | × | alp quits (~alp@2001:861:5e02:eff0:a4ec:9755:9740:6f21) (Ping timeout: 260 seconds) |
| 18:13:01 | × | sundbry quits (~quassel@2600:1700:38c6:180:a1da:9e07:832c:1349) (Quit: No Ping reply in 180 seconds.) |
| 18:14:16 | → | sundbry joins (~quassel@2600:1700:38c6:180:a1da:9e07:832c:1349) |
| 18:20:01 | × | jeeeun8 quits (~jeeeun@78.40.148.178) (Quit: The Lounge - https://thelounge.chat) |
| 18:21:40 | → | jeeeun8 joins (~jeeeun@78.40.148.178) |
| 18:23:24 | justThanks | is now known as justTesting |
| 18:30:00 | × | thunderrd quits (~thunderrd@183.182.111.58) (Remote host closed the connection) |
| 19:14:41 | × | [Leary] quits (~Leary]@user/Leary/x-0910699) (Ping timeout: 240 seconds) |
| 20:13:33 | justTesting | is now known as justThanks |
| 21:01:22 | → | ft joins (~ft@p4fc2a529.dip0.t-ipconnect.de) |
| 21:35:01 | → | [Leary] joins (~Leary]@user/Leary/x-0910699) |
| 21:58:50 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 23:04:51 | × | Benzi-Junior quits (~BenziJuni@88-149-64-112.du.xdsl.is) (Server closed connection) |
| 23:06:38 | → | Benzi-Junior joins (~BenziJuni@88-149-64-112.du.xdsl.is) |
| 23:10:30 | × | terrorjack quits (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 23:13:39 | → | terrorjack joins (~terrorjac@2a01:4f8:c17:87f8::) |
All times are in UTC on 2023-11-08.