| 2023-11-08 00:03:42 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 00:12:56 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 00:17:45 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 00:26:41 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 00:31:56 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 00:40:00 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 00:43:15 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 00:45:25 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 00:51:09 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 01:00:41 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 01:04:28 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 01:05:02 +0000 | alp | (~alp@2001:861:5e02:eff0:86bc:a0a1:58c4:4dac) (Ping timeout: 252 seconds) |
| 2023-11-08 01:07:55 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 01:14:10 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 01:15:40 +0000 | exordiri | (~ex@user/exordiri) (Server closed connection) |
| 2023-11-08 01:16:58 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 01:18:16 +0000 | exordiri | (~ex@user/exordiri) |
| 2023-11-08 01:19:58 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 01:22:04 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 01:25:09 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 01:39:36 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 01:47:02 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 01:58:04 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 02:01:11 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 02:07:10 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 02:12:14 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 02:16:24 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 02:19:28 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 02:34:09 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 02:37:25 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 02:46:52 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 02:50:44 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 02:52:14 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 02:56:28 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 03:02:52 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 03:06:10 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 03:06:32 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 03:11:18 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 03:20:53 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 03:23:48 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 03:26:44 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 03:29:57 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 03:40:16 +0000 | Inst | (~Inst@120.244.192.250) |
| 2023-11-08 03:45:49 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 03:47:47 +0000 | td_ | (~td@i5387090C.versanet.de) (Ping timeout: 255 seconds) |
| 2023-11-08 03:48:56 +0000 | todi | (~todi@79.209.163.230) |
| 2023-11-08 03:49:28 +0000 | td_ | (~td@i53870921.versanet.de) |
| 2023-11-08 03:56:55 +0000 | todi | (~todi@79.209.163.230) (Read error: Connection reset by peer) |
| 2023-11-08 04:01:08 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 04:14:59 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 04:18:43 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 04:21:27 +0000 | Inst | (~Inst@120.244.192.250) (Ping timeout: 240 seconds) |
| 2023-11-08 04:44:58 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 04:46:53 +0000 | vrs | (~vrs@user/vrs) (Server closed connection) |
| 2023-11-08 04:47:11 +0000 | vrs | (~vrs@user/vrs) |
| 2023-11-08 04:48:35 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 04:50:28 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 04:55:42 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 04:56:54 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 05:00:31 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 05:36:39 +0000 | thunderrd | (~thunderrd@183.182.111.58) |
| 2023-11-08 05:37:57 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 05:42:09 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 05:45:38 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 05:48:48 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 05:49:33 +0000 | kaskal- | (~kaskal@2001:4bb8:2c2:d155:91d2:a4ad:c9f9:5f9a) (Ping timeout: 260 seconds) |
| 2023-11-08 05:50:09 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 05:52:08 +0000 | kaskal | (~kaskal@89.144.222.250) |
| 2023-11-08 05:53:19 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 05:57:16 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 06:01:18 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 06:05:00 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 06:07:57 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 06:10:44 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 06:14:01 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 06:16:10 +0000 | alp | (~alp@2001:861:5e02:eff0:2565:907e:1d8d:7aea) |
| 2023-11-08 06:20:39 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 06:24:56 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 06:26:41 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 06:30:54 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 06:31:59 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 06:35:45 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 06:37:07 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 06:40:42 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 06:40:57 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 06:44:20 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 06:44:52 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 06:49:39 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 06:56:52 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 07:01:33 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 07:03:31 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 07:10:38 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 07:16:57 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 07:20:39 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 07:25:18 +0000 | <Solid> | [Leary]: I guess to get proper HLS support for my config I'll need to create an extra flake in the xmonad directory? |
| 2023-11-08 07:25:27 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 07:26:10 +0000 | <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? |
| 2023-11-08 07:29:20 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 07:35:00 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 07:38:09 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 07:39:00 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 07:44:08 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 07:44:58 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 07:48:44 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 07:49:36 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2023-11-08 07:50:41 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 07:50:45 +0000 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 07:57:53 +0000 | alp | (~alp@2001:861:5e02:eff0:2565:907e:1d8d:7aea) (Ping timeout: 260 seconds) |
| 2023-11-08 08:31:23 +0000 | <[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. |
| 2023-11-08 08:32:57 +0000 | alp | (~alp@2001:861:5e02:eff0:2d1c:5a65:2649:274e) |
| 2023-11-08 08:33:54 +0000 | <[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. |
| 2023-11-08 08:48:15 +0000 | scardinal | (~supreme@87.61.100.169) (Ping timeout: 240 seconds) |
| 2023-11-08 08:50:23 +0000 | scardinal | (~supreme@87.61.100.169) |
| 2023-11-08 09:33:10 +0000 | sundbry | (~quassel@2600:1700:38c6:180:a1da:9e07:832c:1349) (Remote host closed the connection) |
| 2023-11-08 09:34:17 +0000 | sundbry | (~quassel@2600:1700:38c6:180:a1da:9e07:832c:1349) |
| 2023-11-08 09:38:10 +0000 | <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 |
| 2023-11-08 09:38:13 +0000 | <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 |
| 2023-11-08 10:27:35 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-11-08 11:03:04 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-11-08 11:12:46 +0000 | ft | (~ft@p4fc2a529.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-11-08 12:24:44 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Server closed connection) |
| 2023-11-08 12:25:43 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2023-11-08 12:43:20 +0000 | sundbry | (~quassel@2600:1700:38c6:180:a1da:9e07:832c:1349) (Quit: No Ping reply in 180 seconds.) |
| 2023-11-08 12:44:27 +0000 | sundbry | (~quassel@2600:1700:38c6:180:a1da:9e07:832c:1349) |
| 2023-11-08 14:47:45 +0000 | <haskellbridge> | <f​rankitox> 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: |
| 2023-11-08 14:47:45 +0000 | <haskellbridge> | <f​rankitox> ``` |
| 2023-11-08 14:47:47 +0000 | <haskellbridge> | <f​rankitox> import XMonad (def, modMask, mod4Mask, spawn, (.|.), controlMask, mod1Mask, xK_q, xK_t, xK_f, borderWidth, layoutHook, windows) |
| 2023-11-08 14:47:48 +0000 | <haskellbridge> | <f​rankitox> import XMonad.Main (xmonad) |
| 2023-11-08 14:47:49 +0000 | <haskellbridge> | <f​rankitox> import XMonad.Util.PureX (greedyView) |
| 2023-11-08 14:47:51 +0000 | <haskellbridge> | <f​rankitox> import XMonad.Layout.Grid |
| 2023-11-08 14:47:52 +0000 | <haskellbridge> | <f​rankitox> import XMonad.Util.EZConfig (additionalKeys) |
| 2023-11-08 14:47:53 +0000 | <haskellbridge> | <f​rankitox> import XMonad.Actions.PhysicalScreens (viewScreen) |
| 2023-11-08 14:47:54 +0000 | <haskellbridge> | <f​rankitox> main :: IO () |
| 2023-11-08 14:47:56 +0000 | <haskellbridge> | <f​rankitox> main = xmonad $ def |
| 2023-11-08 14:47:57 +0000 | <haskellbridge> | <f​rankitox> { modMask = mod4Mask |
| 2023-11-08 14:47:58 +0000 | <haskellbridge> | <f​rankitox> , borderWidth = 0 |
| 2023-11-08 14:48:00 +0000 | <haskellbridge> | <f​rankitox> , layoutHook = Grid} |
| 2023-11-08 14:48:01 +0000 | <haskellbridge> | <f​rankitox> `additionalKeys` |
| 2023-11-08 14:48:02 +0000 | <haskellbridge> | <f​rankitox> [ |
| 2023-11-08 14:48:04 +0000 | <haskellbridge> | <f​rankitox> ((mod4Mask, xK_q), windows $ greedyView "1") |
| 2023-11-08 14:48:05 +0000 | <haskellbridge> | <f​rankitox> ] |
| 2023-11-08 14:48:06 +0000 | <haskellbridge> | <f​rankitox> -- (modMask, xK_q) |
| 2023-11-08 14:48:07 +0000 | <haskellbridge> | <f​rankitox> ``` |
| 2023-11-08 14:48:09 +0000 | <haskellbridge> | <f​rankitox> 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: |
| 2023-11-08 14:48:10 +0000 | <haskellbridge> | <f​rankitox> ``` |
| 2023-11-08 14:48:11 +0000 | <haskellbridge> | <f​rankitox> import XMonad (def, modMask, mod4Mask, spawn, (.|.), controlMask, mod1Mask, xK_q, xK_t, xK_f, borderWidth, layoutHook, windows) |
| 2023-11-08 14:48:13 +0000 | <haskellbridge> | <f​rankitox> import XMonad.Main (xmonad) |
| 2023-11-08 14:48:14 +0000 | <haskellbridge> | <f​rankitox> import XMonad.Util.PureX (greedyView) |
| 2023-11-08 14:48:15 +0000 | <haskellbridge> | <f​rankitox> import XMonad.Layout.Grid |
| 2023-11-08 14:48:17 +0000 | <haskellbridge> | <f​rankitox> import XMonad.Util.EZConfig (additionalKeys) |
| 2023-11-08 14:48:18 +0000 | <haskellbridge> | <f​rankitox> import XMonad.Actions.PhysicalScreens (viewScreen) |
| 2023-11-08 14:48:19 +0000 | <haskellbridge> | <f​rankitox> main :: IO () |
| 2023-11-08 14:48:20 +0000 | <haskellbridge> | <f​rankitox> main = xmonad $ def |
| 2023-11-08 14:48:22 +0000 | <haskellbridge> | <f​rankitox> { modMask = mod4Mask |
| 2023-11-08 14:48:23 +0000 | <haskellbridge> | <f​rankitox> , borderWidth = 0 |
| 2023-11-08 14:48:24 +0000 | <haskellbridge> | <f​rankitox> , layoutHook = Grid} |
| 2023-11-08 14:48:26 +0000 | <haskellbridge> | <f​rankitox> `additionalKeys` |
| 2023-11-08 14:48:27 +0000 | <haskellbridge> | <f​rankitox> [ |
| 2023-11-08 14:48:28 +0000 | <haskellbridge> | <f​rankitox> ((mod4Mask, xK_q), windows $ greedyView "1") |
| 2023-11-08 14:48:30 +0000 | <haskellbridge> | <f​rankitox> ] |
| 2023-11-08 14:48:31 +0000 | <haskellbridge> | <f​rankitox> -- (modMask, xK_q) |
| 2023-11-08 14:48:32 +0000 | <haskellbridge> | <f​rankitox> ``` |
| 2023-11-08 14:49:26 +0000 | <haskellbridge> | <f​rankitox> Using this I'm getting the error |
| 2023-11-08 14:49:27 +0000 | <haskellbridge> | <f​rankitox> ``` |
| 2023-11-08 14:49:28 +0000 | <haskellbridge> | <f​rankitox> xmonad.hs:15:33: error: |
| 2023-11-08 14:49:29 +0000 | <haskellbridge> | <f​rankitox> * Couldn't match type `base-4.17.2.0:Data.Semigroup.Internal.Any' |
| 2023-11-08 14:49:31 +0000 | <haskellbridge> | <f​rankitox> with `XMonad.StackSet.StackSet |
| 2023-11-08 14:49:32 +0000 | <haskellbridge> | <f​rankitox> XMonad.Core.WorkspaceId |
| 2023-11-08 14:49:33 +0000 | <haskellbridge> | <f​rankitox> (XMonad.Core.Layout Graphics.X11.Types.Window) |
| 2023-11-08 14:49:35 +0000 | <haskellbridge> | <f​rankitox> Graphics.X11.Types.Window |
| 2023-11-08 14:49:36 +0000 | <haskellbridge> | <f​rankitox> XMonad.Core.ScreenId |
| 2023-11-08 14:49:37 +0000 | <haskellbridge> | <f​rankitox> XMonad.Core.ScreenDetail' |
| 2023-11-08 14:49:38 +0000 | <haskellbridge> | <f​rankitox> Expected: XMonad.Core.WindowSet -> XMonad.Core.WindowSet |
| 2023-11-08 14:49:40 +0000 | <haskellbridge> | <f​rankitox> Actual: XMonad.Core.WindowSet |
| 2023-11-08 14:49:41 +0000 | <haskellbridge> | <f​rankitox> -> base-4.17.2.0:Data.Semigroup.Internal.Any |
| 2023-11-08 14:49:42 +0000 | <haskellbridge> | <f​rankitox> * In the second argument of `($)', namely `greedyView "1"' |
| 2023-11-08 14:49:44 +0000 | <haskellbridge> | <f​rankitox> In the expression: windows $ greedyView "1" |
| 2023-11-08 14:49:45 +0000 | <haskellbridge> | <f​rankitox> In the expression: ((mod4Mask, xK_q), windows $ greedyView "1") |
| 2023-11-08 14:49:46 +0000 | <haskellbridge> | <f​rankitox> | |
| 2023-11-08 14:49:48 +0000 | <haskellbridge> | <f​rankitox> 15 | ((mod4Mask, xK_q), windows $ greedyView "1") |
| 2023-11-08 14:49:49 +0000 | <haskellbridge> | <f​rankitox> | ^^^^^^^^^^^^^^ |
| 2023-11-08 14:49:50 +0000 | <haskellbridge> | <f​rankitox> ``` |
| 2023-11-08 14:54:05 +0000 | <haskellbridge> | <f​rankitox> 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: |
| 2023-11-08 14:54:05 +0000 | <haskellbridge> | <f​rankitox> ``` |
| 2023-11-08 14:54:06 +0000 | <haskellbridge> | <f​rankitox> import XMonad (def, modMask, mod4Mask, spawn, (.|.), controlMask, mod1Mask, xK_q, xK_t, xK_f, borderWidth, layoutHook, windows) |
| 2023-11-08 14:54:08 +0000 | <haskellbridge> | <f​rankitox> import XMonad.Main (xmonad) |
| 2023-11-08 14:54:09 +0000 | <haskellbridge> | <f​rankitox> import XMonad.Util.PureX (greedyView) |
| 2023-11-08 14:54:10 +0000 | <haskellbridge> | <f​rankitox> import XMonad.Layout.Grid |
| 2023-11-08 14:54:11 +0000 | <haskellbridge> | <f​rankitox> import XMonad.Util.EZConfig (additionalKeys) |
| 2023-11-08 14:54:13 +0000 | <haskellbridge> | <f​rankitox> import XMonad.Actions.PhysicalScreens (viewScreen) |
| 2023-11-08 14:54:14 +0000 | <haskellbridge> | <f​rankitox> main :: IO () |
| 2023-11-08 14:54:15 +0000 | <haskellbridge> | <f​rankitox> main = xmonad $ def |
| 2023-11-08 14:54:17 +0000 | <haskellbridge> | <f​rankitox> { modMask = mod4Mask |
| 2023-11-08 14:54:18 +0000 | <haskellbridge> | <f​rankitox> , borderWidth = 0 |
| 2023-11-08 14:54:19 +0000 | <haskellbridge> | <f​rankitox> , layoutHook = Grid} |
| 2023-11-08 14:54:21 +0000 | <haskellbridge> | <f​rankitox> `additionalKeys` |
| 2023-11-08 14:54:22 +0000 | <haskellbridge> | <f​rankitox> [ |
| 2023-11-08 14:54:23 +0000 | <haskellbridge> | <f​rankitox> ((mod4Mask, xK_q), windows $ greedyView "1") |
| 2023-11-08 14:54:24 +0000 | <haskellbridge> | <f​rankitox> ] |
| 2023-11-08 14:54:26 +0000 | <haskellbridge> | <f​rankitox> -- (modMask, xK_q) |
| 2023-11-08 14:54:27 +0000 | <haskellbridge> | <f​rankitox> ``` |
| 2023-11-08 15:02:16 +0000 | <[Leary]> | o g'd laird |
| 2023-11-08 15:03:06 +0000 | <[Leary]> | frankitox: Please avoid big code blocks and matrix edits, on IRC it just becomes 77 lines of spam. |
| 2023-11-08 15:03:15 +0000 | <[Leary]> | @where paste |
| 2023-11-08 15:03:15 +0000 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2023-11-08 15:05:14 +0000 | <haskellbridge> | <f​rankitox> This is the config https://paste.tomsmeding.com/T8Y3Blzm I'm trying |
| 2023-11-08 15:05:51 +0000 | <[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")`. |
| 2023-11-08 15:08:18 +0000 | <haskellbridge> | <f​rankitox> 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 |
| 2023-11-08 15:09:05 +0000 | <[Leary]> | Yes. You should use hoogle: https://hoogle.haskell.org/?hoogle=greedyView |
| 2023-11-08 15:09:44 +0000 | <haskellbridge> | <f​rankitox> Oh, I see. Thank you!! 🙏 |
| 2023-11-08 15:32:48 +0000 | <haskellbridge> | <f​rankitox> 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 |
| 2023-11-08 15:43:23 +0000 | alp | (~alp@2001:861:5e02:eff0:2d1c:5a65:2649:274e) (Ping timeout: 252 seconds) |
| 2023-11-08 16:05:28 +0000 | Nixkernal_ | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2023-11-08 16:06:53 +0000 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 258 seconds) |
| 2023-11-08 16:09:06 +0000 | <geekosaur> | XMonad.Config.Prime is an experiment from the very early days of xmonad, don't rely on it for anything |
| 2023-11-08 16:09:27 +0000 | <geekosaur> | I think (hope) it's being removed after the next release, it's deprecated now |
| 2023-11-08 17:44:16 +0000 | alp | (~alp@2001:861:5e02:eff0:a4ec:9755:9740:6f21) |
| 2023-11-08 17:57:33 +0000 | alp | (~alp@2001:861:5e02:eff0:a4ec:9755:9740:6f21) (Ping timeout: 260 seconds) |
| 2023-11-08 18:13:01 +0000 | sundbry | (~quassel@2600:1700:38c6:180:a1da:9e07:832c:1349) (Quit: No Ping reply in 180 seconds.) |
| 2023-11-08 18:14:16 +0000 | sundbry | (~quassel@2600:1700:38c6:180:a1da:9e07:832c:1349) |
| 2023-11-08 18:20:01 +0000 | jeeeun8 | (~jeeeun@78.40.148.178) (Quit: The Lounge - https://thelounge.chat) |
| 2023-11-08 18:21:40 +0000 | jeeeun8 | (~jeeeun@78.40.148.178) |
| 2023-11-08 18:23:24 +0000 | justThanks | justTesting |
| 2023-11-08 18:30:00 +0000 | thunderrd | (~thunderrd@183.182.111.58) (Remote host closed the connection) |
| 2023-11-08 19:14:41 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) (Ping timeout: 240 seconds) |
| 2023-11-08 20:13:33 +0000 | justTesting | justThanks |
| 2023-11-08 21:01:22 +0000 | ft | (~ft@p4fc2a529.dip0.t-ipconnect.de) |
| 2023-11-08 21:35:01 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2023-11-08 21:58:50 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-11-08 23:04:51 +0000 | Benzi-Junior | (~BenziJuni@88-149-64-112.du.xdsl.is) (Server closed connection) |
| 2023-11-08 23:06:38 +0000 | Benzi-Junior | (~BenziJuni@88-149-64-112.du.xdsl.is) |
| 2023-11-08 23:10:30 +0000 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2023-11-08 23:13:39 +0000 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |