Logs: liberachat/#xmonad
| 2023-11-08 03:06:10 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 03:06:32 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 03:11:18 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 03:20:53 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 03:23:48 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 03:26:44 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 03:29:57 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 03:40:16 | → | Inst joins (~Inst@120.244.192.250) |
| 2023-11-08 03:45:49 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 03:47:47 | × | td_ quits (~td@i5387090C.versanet.de) (Ping timeout: 255 seconds) |
| 2023-11-08 03:48:56 | → | todi joins (~todi@79.209.163.230) |
| 2023-11-08 03:49:28 | → | td_ joins (~td@i53870921.versanet.de) |
| 2023-11-08 03:56:55 | × | todi quits (~todi@79.209.163.230) (Read error: Connection reset by peer) |
| 2023-11-08 04:01:08 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 04:14:59 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 04:18:43 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 04:21:27 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 240 seconds) |
| 2023-11-08 04:44:58 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 04:46:53 | × | vrs quits (~vrs@user/vrs) (Server closed connection) |
| 2023-11-08 04:47:11 | → | vrs joins (~vrs@user/vrs) |
| 2023-11-08 04:48:35 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 04:50:28 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 04:55:42 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 04:56:54 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 05:00:31 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 05:36:39 | → | thunderrd joins (~thunderrd@183.182.111.58) |
| 2023-11-08 05:37:57 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 05:42:09 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 05:45:38 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 05:48:48 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 05:49:33 | × | kaskal- quits (~kaskal@2001:4bb8:2c2:d155:91d2:a4ad:c9f9:5f9a) (Ping timeout: 260 seconds) |
| 2023-11-08 05:50:09 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 05:52:08 | → | kaskal joins (~kaskal@89.144.222.250) |
| 2023-11-08 05:53:19 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 05:57:16 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 06:01:18 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 06:05:00 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 06:07:57 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 06:10:44 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 06:14:01 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 06:16:10 | → | alp joins (~alp@2001:861:5e02:eff0:2565:907e:1d8d:7aea) |
| 2023-11-08 06:20:39 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 06:24:56 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 06:26:41 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 06:30:54 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 06:31:59 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 06:35:45 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 06:37:07 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 06:40:42 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 06:40:57 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 06:44:20 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 06:44:52 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 06:49:39 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 06:56:52 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 07:01:33 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 07:03:31 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 07:10:38 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 07:16:57 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 07:20:39 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 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? |
| 2023-11-08 07:25:27 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 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? |
| 2023-11-08 07:29:20 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 07:35:00 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 07:38:09 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 07:39:00 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 07:44:08 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 07:44:58 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 07:48:44 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 07:49:36 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2023-11-08 07:50:41 | → | todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-11-08 07:50:45 | × | todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-11-08 07:57:53 | × | alp quits (~alp@2001:861:5e02:eff0:2565:907e:1d8d:7aea) (Ping timeout: 260 seconds) |
| 2023-11-08 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. |
| 2023-11-08 08:32:57 | → | alp joins (~alp@2001:861:5e02:eff0:2d1c:5a65:2649:274e) |
| 2023-11-08 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. |
| 2023-11-08 08:48:15 | × | scardinal quits (~supreme@87.61.100.169) (Ping timeout: 240 seconds) |
| 2023-11-08 08:50:23 | → | scardinal joins (~supreme@87.61.100.169) |
| 2023-11-08 09:33:10 | × | sundbry quits (~quassel@2600:1700:38c6:180:a1da:9e07:832c:1349) (Remote host closed the connection) |
| 2023-11-08 09:34:17 | → | sundbry joins (~quassel@2600:1700:38c6:180:a1da:9e07:832c:1349) |
| 2023-11-08 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 |
| 2023-11-08 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 |
| 2023-11-08 10:27:35 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-11-08 11:03:04 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2023-11-08 11:12:46 | × | ft quits (~ft@p4fc2a529.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-11-08 12:24:44 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Server closed connection) |
| 2023-11-08 12:25:43 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 2023-11-08 12:43:20 | × | sundbry quits (~quassel@2600:1700:38c6:180:a1da:9e07:832c:1349) (Quit: No Ping reply in 180 seconds.) |
| 2023-11-08 12:44:27 | → | sundbry joins (~quassel@2600:1700:38c6:180:a1da:9e07:832c:1349) |
| 2023-11-08 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: |
| 2023-11-08 14:47:45 | <haskellbridge> | <frankitox> ``` |
| 2023-11-08 14:47:47 | <haskellbridge> | <frankitox> import XMonad (def, modMask, mod4Mask, spawn, (.|.), controlMask, mod1Mask, xK_q, xK_t, xK_f, borderWidth, layoutHook, windows) |
| 2023-11-08 14:47:48 | <haskellbridge> | <frankitox> import XMonad.Main (xmonad) |
| 2023-11-08 14:47:49 | <haskellbridge> | <frankitox> import XMonad.Util.PureX (greedyView) |
| 2023-11-08 14:47:51 | <haskellbridge> | <frankitox> import XMonad.Layout.Grid |
| 2023-11-08 14:47:52 | <haskellbridge> | <frankitox> import XMonad.Util.EZConfig (additionalKeys) |
| 2023-11-08 14:47:53 | <haskellbridge> | <frankitox> import XMonad.Actions.PhysicalScreens (viewScreen) |
| 2023-11-08 14:47:54 | <haskellbridge> | <frankitox> main :: IO () |
| 2023-11-08 14:47:56 | <haskellbridge> | <frankitox> main = xmonad $ def |
| 2023-11-08 14:47:57 | <haskellbridge> | <frankitox> { modMask = mod4Mask |
All times are in UTC.