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