Logs on 2021-06-23 (liberachat/#xmonad)
| 00:04:37 | <geekosaur> | You send a Minimize message to minimize a window. But see XMonad.Actions.Minimize for more |
| 00:09:29 | <henninb> | the challenge i am having is compilation, geekosaur. i get an error of Data constructor not in scope |
| 00:09:41 | <geekosaur> | I don't see RestoreNextMinimizeWin anywhere in the repo, where did you get it? |
| 00:10:03 | <henninb> | i see people using it in github |
| 00:10:26 | <geekosaur> | nor do I see anything like it except some similar in concept functions in X.A.Minimize |
| 00:10:36 | <geekosaur> | can you provide an example? |
| 00:10:43 | <henninb> | https://github.com/Deepakkoli93/dotfiles-1/blob/cc89434a5f20255d0217918c8fe30c34efa96284/.xmonad/xmonad.hs#L37 |
| 00:11:24 | <henninb> | maybe this code is depricated. |
| 00:12:20 | <henninb> | maybe a better question is how can I maximize a window that is minimized? |
| 00:14:33 | <geekosaur> | which is answered in the current version |
| 00:15:02 | <henninb> | i will take a look |
| 00:15:07 | <geekosaur> | RestoreNextMinimizedWin went away some 5 years ago, the replacement is: withLastMinimized maximizeWindow |
| 00:15:15 | <geekosaur> | which is from XMonad.Actions.Minimize |
| 00:15:36 | <henninb> | ok, sorry for the dumb question. thanks for pointing that out. |
| 00:16:18 | <geekosaur> | I had to dig for it myself using git blame |
| 00:16:43 | <henninb> | :) |
| 00:16:45 | <geekosaur> | luckily I'm kinda used to xmonad archeology >.> |
| 00:17:29 | <henninb> | i am loving xmonad. it has helped me slowly learn haskell. |
| 00:26:03 | <henninb> | thank you geekosaur, have a good day. |
| 00:31:06 | × | henninb quits (~henninb@63.226.174.157) (Remote host closed the connection) |
| 02:04:28 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 252 seconds) |
| 02:23:24 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 02:55:48 | × | td_ quits (~td@94.134.91.59) (Ping timeout: 252 seconds) |
| 02:57:42 | → | td_ joins (~td@muedsl-82-207-238-055.citykom.de) |
| 03:59:49 | → | thunderrd joins (~thunderrd@183.182.114.206) |
| 05:43:43 | → | backleet joins (~backleet@user/backleet) |
| 05:53:16 | × | backleet quits (~backleet@user/backleet) (Ping timeout: 252 seconds) |
| 05:56:32 | → | backleet joins (~backleet@user/backleet) |
| 06:31:51 | <dminuoso> | geekosaur: Alright I fell asleep yesterday. Thank you for your guidance, it was indeed the missing _NET_WT_STATE capability. Doing this made freerdp work.. somewhat. |
| 06:31:58 | <dminuoso> | Only to error randomly on other X interactions |
| 06:32:16 | <Solid> | uff |
| 06:32:52 | <dminuoso> | Xmonad and nix have one thing in common: They highlight poorly written non-portable software that blindly assume "things to be just some way" |
| 06:36:15 | <Solid> | ...and then they ask people to do things in _their_ non-portable way :P |
| 06:36:47 | → | berberman joins (~berberman@user/berberman) |
| 06:37:01 | <dminuoso> | Dunno, with the software that I write and interact with, writing nix derivations was mostly completely effort less and 0-work |
| 06:37:41 | <dminuoso> | For my software its as simple as (callCabal2Nix "freyja-server" ./freyja-server {}) and my package magically builds with nix as well as with cabal.. |
| 06:38:06 | × | berberman_ quits (~berberman@user/berberman) (Ping timeout: 264 seconds) |
| 06:38:24 | <Solid> | I was reminded of nix's resistance to provide a proper /bin/bash, which breaks lots of scripts (I guess bash is not portable to begin with, but still) |
| 06:38:56 | <dminuoso> | Yeah, the state with scripts is a bit sorrow |
| 06:39:08 | <dminuoso> | But I cant say too much about it because I haven't actually dived in |
| 06:39:39 | <dminuoso> | /usr/bin/env bash |
| 06:39:43 | <dminuoso> | This works mostly though |
| 06:39:56 | <Solid> | yeah, but the problem with that is that the path of env is not specified by POSIX |
| 06:40:04 | <Solid> | so this is really trading one non-portable solution for another |
| 06:40:13 | <dminuoso> | To be fair, what nix really does is actually POSIX compliant |
| 06:40:41 | <dminuoso> | Which says something along the lines of that "on installation you should set program paths to be suitable for your system" |
| 06:40:57 | <dminuoso> | The whole notion of fixed shebangs already breaks this idea |
| 06:41:05 | <Solid> | that is true |
| 06:41:24 | <Solid> | well, one could always shout at people not writing /bin/sh scripts :> |
| 06:47:42 | <dminuoso> | https://pubs.opengroup.org/onlinepubs/9699919799/utilities/sh.html#tag_20_117_16 |
| 06:47:46 | <dminuoso> | `Furthermore, on systems that support executable scripts (the "#!" construct), it is recommended that applications using executable scripts install them using getconf PATH to determine the shell pathname and update the "#!" script appropriately as it is being installed (for example, with sed). For example:` |
| 06:48:20 | <dminuoso> | NExt up |
| 06:48:22 | <dminuoso> | Applications should note that the standard PATH to the shell cannot be assumed to be either /bin/sh or /usr/bin/sh, and should be determined by interrogation of the PATH returned by getconf PATH, ensuring that the returned pathname is an absolute pathname and not a shell built-in. |
| 06:48:30 | <dminuoso> | Solid: So even /bin/sh is a problematic assumption |
| 06:48:32 | × | backleet quits (~backleet@user/backleet) (Ping timeout: 268 seconds) |
| 06:49:05 | <dminuoso> | In reality even nix admits /bin/sh for convenience |
| 06:50:14 | <dminuoso> | λ ~/ command -v sh ~ |
| 06:50:16 | <dminuoso> | /run/current-system/sw/bin/sh |
| 06:50:20 | <dminuoso> | Guess that works |
| 06:51:18 | <Solid> | oh wow, that actually surprises me |
| 06:52:52 | <dminuoso> | From experience, nowadays few developers even know what POSIX means or ever bothered to look up any of its specifications. |
| 06:53:28 | <dminuoso> | Hell, I know I rarely do |
| 06:54:37 | <dminuoso> | Presumably its the same thing with people writing windowed applications, dont think most look up the (extremely scarce) documentation or even know what ICCCM or EWMH even is |
| 06:55:09 | <dminuoso> | From all my experience, you have to be a geekosaur to know what you're doing with X. |
| 06:56:37 | <Solid> | yes, that has been my impression as well |
| 06:56:56 | <Solid> | I wonder if it'll be better for wayland |
| 07:02:50 | dminuoso | admits he has absolutely no clue how wayland works differently, or where things are specified |
| 07:03:10 | <dminuoso> | All I know is that, as an xmonad user, I likely wont even try wayland any time soon |
| 07:03:28 | <dminuoso> | waymonad seems to have stalled pretty much |
| 07:10:32 | <liskin> | Some folks were trying to revive it during ZuriHac. As far as I know they're still to this day trying to get it to build. |
| 07:11:56 | <Solid> | yeah I'd imagine the haskell bindings for wlroots need some work for that |
| 07:12:10 | <Solid> | although I remember the maintainer of taffybar saying he managed to build it |
| 07:12:20 | <Solid> | s/he/they/ |
| 07:12:39 | <liskin> | But I think everything will just be worse anyway. X started in an era where having standards was considered a good thing. Wayland comes from an era where standardization is seen as an avoidable overhead. |
| 07:13:16 | <liskin> | Yeah Ivan has a couple commits in waymonad. |
| 07:15:04 | <Solid> | oh apparently there is an active fork now |
| 07:15:06 | <Solid> | https://github.com/L-as/waymonad |
| 07:15:23 | <liskin> | Yeah that's the ZuriHac folks |
| 07:15:26 | <Solid> | and it seems to build with nix at least |
| 07:27:28 | ← | Orbstheorem parts (~orbstheor@2001:470:69fc:105::a56) () |
| 08:17:32 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 08:17:32 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 08:18:27 | → | cosmos1 joins (~CosmosAtl@180.111.62.57) |
| 08:35:29 | × | cosmos1 quits (~CosmosAtl@180.111.62.57) (Quit: WeeChat 3.2) |
| 09:17:47 | → | cfricke joins (~cfricke@user/cfricke) |
| 09:56:22 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 10:04:28 | → | qbt joins (~edun@user/edun) |
| 10:29:52 | × | qbt quits (~edun@user/edun) (Ping timeout: 265 seconds) |
| 12:03:46 | → | backleet joins (~backleet@user/backleet) |
| 12:27:20 | × | backleet quits (~backleet@user/backleet) (Ping timeout: 258 seconds) |
| 12:40:03 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 12:40:22 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 265 seconds) |
| 12:49:30 | → | cfricke joins (~cfricke@user/cfricke) |
| 12:54:56 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 258 seconds) |
| 13:07:26 | → | seschwar joins (~seschwar@user/seschwar) |
| 13:13:00 | → | Magician joins (deepy@user/deepy) |
| 13:14:47 | × | deepy quits (deepy@user/deepy) (Ping timeout: 244 seconds) |
| 13:15:02 | → | Nahra` joins (~user@static.161.95.99.88.clients.your-server.de) |
| 13:15:06 | × | Nahra quits (~user@static.161.95.99.88.clients.your-server.de) (Ping timeout: 252 seconds) |
| 13:24:19 | → | cfricke joins (~cfricke@user/cfricke) |
| 13:27:13 | allbery_b | is now known as geekosaur |
| 13:30:02 | → | backleet joins (~backleet@user/backleet) |
| 13:50:38 | → | kajzer joins (~themainma@user/themainman) |
| 13:51:18 | × | kajzer quits (~themainma@user/themainman) (Client Quit) |
| 13:51:34 | → | kajzer joins (~themainma@user/themainman) |
| 13:51:40 | ← | kajzer parts (~themainma@user/themainman) () |
| 14:30:00 | × | backleet quits (~backleet@user/backleet) (Ping timeout: 258 seconds) |
| 15:13:03 | × | tv quits (~tv@user/tv) (Ping timeout: 268 seconds) |
| 15:13:51 | → | tv joins (~tv@user/tv) |
| 15:36:19 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.1) |
| 16:42:10 | → | backleet joins (~backleet@user/backleet) |
| 17:03:10 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 17:21:40 | × | backleet quits (~backleet@user/backleet) (Ping timeout: 250 seconds) |
| 17:22:40 | → | backleet joins (~backleet@user/backleet) |
| 17:29:01 | × | backleet quits (~backleet@user/backleet) (Ping timeout: 258 seconds) |
| 18:53:35 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 18:53:35 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 19:01:44 | allbery_b | is now known as geekosaur |
| 19:30:37 | → | Guest69 joins (~Guest69@124.40.244.150) |
| 19:36:16 | × | Guest69 quits (~Guest69@124.40.244.150) (Ping timeout: 246 seconds) |
| 19:37:02 | → | Guest69 joins (~Guest69@124.40.244.150) |
| 19:39:55 | × | Guest69 quits (~Guest69@124.40.244.150) (Client Quit) |
| 20:01:24 | → | backleet joins (~backleet@user/backleet) |
| 20:13:51 | × | backleet quits (~backleet@user/backleet) (Ping timeout: 258 seconds) |
| 20:15:43 | → | backleet joins (~backleet@user/backleet) |
| 20:24:29 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 20:24:53 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 20:25:50 | × | mc47 quits (~mc47@xmonad/TheMC47) (Client Quit) |
| 20:30:42 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 20:30:42 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 20:30:51 | allbery_b | is now known as geekosaur |
| 20:35:48 | <dminuoso> | liskin: by the way, with the help of geekosaur we figured it out. |
| 20:36:36 | <dminuoso> | ewmh in xmonad-contrib does not advertise _NET_WM_STATE, and freerdp is written buggily - it does first check whether its supported, and then completely disregards this information and assumes it is.. |
| 20:36:55 | <dminuoso> | Turns out, after fixing that, there's a bunch of other X errors freerdp provokes irregularly during usage.. |
| 20:38:07 | <dminuoso> | not sure whether there's any xmonad compatible rdp software Id be willing to install on my laptop |
| 20:51:25 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 246 seconds) |
| 20:53:31 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 21:01:22 | <liskin> | dminuoso: yeah I saw that; ewmhFullscreen probably fixes that but a patch to freerdp should be posted |
| 21:01:29 | <dminuoso> | It does not |
| 21:01:46 | <liskin> | I used to use rdesktop in the past, it worked |
| 21:01:56 | <dminuoso> | Hold on, whats ewmhFullscreen |
| 21:02:01 | <liskin> | As a client, that is |
| 21:02:04 | <dminuoso> | Did you mean fullscreenEventHook? |
| 21:02:16 | <liskin> | No, I mean ewmhFullscreen |
| 21:02:24 | <dminuoso> | Mmm, is that new? |
| 21:02:31 | <dminuoso> | hoogle doenst find it |
| 21:02:49 | <liskin> | Not in a release, but not really new either |
| 21:03:20 | <dminuoso> | Ah yes, looking at it it should be sufficient |
| 21:03:21 | <liskin> | First posted it in like 2016 and merged last year or something |
| 21:03:24 | <dminuoso> | I have the equivalent already activated now |
| 21:03:49 | <dminuoso> | Perhaps I should try updating xmonad-contrib and use ewmhFullscreen and see whether that improves anythign |
| 21:05:18 | <liskin> | We should really start doing more frequent releases, but I need to fix that ewmh activation stuff :-/ |
| 21:05:29 | <liskin> | And I'll be out till mid July |
| 21:05:50 | <liskin> | Anyway, afk |
| 21:09:49 | × | backleet quits (~backleet@user/backleet) (Ping timeout: 258 seconds) |
| 21:11:39 | → | backleet joins (~backleet@user/backleet) |
| 21:16:31 | → | Guest19 joins (~Guest19@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 21:17:10 | <Guest19> | Can xmonad function well as a stacking window manager? |
| 21:23:05 | × | Guest19 quits (~Guest19@pool-96-252-123-136.bstnma.fios.verizon.net) (Quit: Client closed) |
| 21:26:58 | <dminuoso> | Sure |
| 21:27:10 | <dminuoso> | There's XMonad.Layout.StackTile for instance |
| 21:27:15 | <geekosaur> | they left already |
| 21:27:21 | <geekosaur> | there's also X.L.Dishes |
| 21:27:27 | <dminuoso> | Mmm, my weechat didn't show |
| 21:28:00 | geekosaur | got sucked into a rabbit hole >.> |
| 21:28:07 | <geekosaur> | we have too many layouts |
| 21:44:30 | × | seschwar quits (~seschwar@user/seschwar) (Quit: :wq) |
| 21:48:49 | × | backleet quits (~backleet@user/backleet) (Ping timeout: 246 seconds) |
| 21:50:57 | → | backleet joins (~backleet@user/backleet) |
| 22:30:28 | × | backleet quits (~backleet@user/backleet) (Ping timeout: 246 seconds) |
All times are in UTC on 2021-06-23.