Logs: liberachat/#xmonad
| 2021-09-23 03:47:42 | <jakefromstatefar> | s/path/`$PATH`/ |
| 2021-09-23 04:18:25 | → | benin036932301 joins (~benin@183.82.179.112) |
| 2021-09-23 04:29:46 | <HAL[m]> | <jakefromstatefar> "Perhaps your path differs? Check..." <- how is $PATH involved in these two cases? |
| 2021-09-23 06:04:18 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-09-23 07:00:35 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-09-23 07:09:53 | × | tomsmeding quits (~tomsmedin@tomsmeding.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-09-23 07:10:44 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-09-23 07:15:57 | → | tomsmeding joins (~tomsmedin@tomsmeding.com) |
| 2021-09-23 07:43:46 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 252 seconds) |
| 2021-09-23 08:17:44 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-09-23 08:17:44 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-09-23 08:17:47 | allbery_b | is now known as geekosaur |
| 2021-09-23 08:39:56 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-09-23 09:03:38 | × | benin036932301 quits (~benin@183.82.179.112) (Ping timeout: 252 seconds) |
| 2021-09-23 09:26:04 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 252 seconds) |
| 2021-09-23 09:28:12 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-09-23 09:58:26 | × | wonko quits (~wjc@62.115.229.50) (Changing host) |
| 2021-09-23 09:58:26 | → | wonko joins (~wjc@user/wonko) |
| 2021-09-23 10:05:16 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-09-23 10:06:42 | × | thunderrd quits (~thunderrd@183.182.110.194) (Ping timeout: 260 seconds) |
| 2021-09-23 10:28:19 | → | thunderrd joins (~thunderrd@183.182.114.106) |
| 2021-09-23 10:38:14 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 252 seconds) |
| 2021-09-23 11:08:38 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-09-23 11:38:53 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.2.1) |
| 2021-09-23 12:35:16 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 252 seconds) |
| 2021-09-23 12:37:55 | → | HabibKhan[m] joins (~habibkhan@2001:470:69fc:105::ffec) |
| 2021-09-23 12:37:56 | ← | HabibKhan[m] parts (~habibkhan@2001:470:69fc:105::ffec) () |
| 2021-09-23 13:23:06 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-09-23 13:24:18 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-09-23 13:24:43 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-09-23 13:49:33 | → | byorgey joins (~byorgey@155.138.238.211) |
| 2021-09-23 14:05:52 | × | electr0n quits (~electr0n@about/security/founder/electr0n) (Quit: WeeChat 3.2.1) |
| 2021-09-23 14:55:17 | → | eezo[m] joins (~eezomatri@2001:470:69fc:105::1:7) |
| 2021-09-23 14:56:06 | <eezo[m]> | ok, so one thing that's been bugging me....what is a PP? What does that stand for? |
| 2021-09-23 14:56:30 | <eezo[m]> | I understand it's some kind of a logging/communication thing with external [to xmonad] apps |
| 2021-09-23 14:56:47 | <mc47> | Pretty Printer |
| 2021-09-23 14:57:39 | <eezo[m]> | so, they're formatters so that data can be more easily parsed by an external application? |
| 2021-09-23 14:57:40 | <eezo[m]> | more or less? |
| 2021-09-23 14:57:46 | <geekosaur> | yes |
| 2021-09-23 14:57:55 | <mc47> | yeah kinda |
| 2021-09-23 14:58:09 | <geekosaur> | they tell DynamicLog how to format xmonad state for use by external programs, and how to send the result to those programs |
| 2021-09-23 14:58:46 | <mc47> | it's basically a data structure that contains functions on how to format the xmonad state and how to send it out |
| 2021-09-23 14:58:48 | <mc47> | more or less |
| 2021-09-23 15:01:31 | <eezo[m]> | ok, that makes a lot of sense. Right now, I'm on Xubuntu, having replaced xfwm with xmonad. Since this is a work computer (well, it's my machine, but I'm using it for work) - I needed a way to get into xmonad without a 500 line config, but still learn xmonad config gradually. So my config right now is <80loc, and (almost) everything _just works_. volume, mute, media keys - I didn't have to go into the keybindings myself since xfce and |
| 2021-09-23 15:01:32 | <eezo[m]> | `XMonad.Config.Xfce` took care of that. |
| 2021-09-23 15:01:32 | <eezo[m]> | That said, I probably want to replace `xfce4-panel` at some point. It works fine, but xmobar (or idk, maybe another bar? Haven't explored it that much) would likely be a better fit long-term. |
| 2021-09-23 15:02:11 | <mc47> | It depends on what you want tbh |
| 2021-09-23 15:02:15 | <eezo[m]> | so kudos to whoever wrote the Xfce config, and the docs. It really does _just work_ (though login and getting the panel & wm to start/replace/restart just right seems to take some finagling) |
| 2021-09-23 15:02:43 | <geekosaur> | yeh, it kept changing |
| 2021-09-23 15:03:05 | <geekosaur> | mate was the same way and for a while I had to run the change command multiple times and hope one of them took |
| 2021-09-23 15:03:11 | × | wonko quits (~wjc@user/wonko) (Ping timeout: 265 seconds) |
| 2021-09-23 15:03:44 | → | seschwar joins (~seschwar@user/seschwar) |
| 2021-09-23 15:03:53 | <geekosaur> | that said, you can build xmonad-log-applet for xfce4-panel, keep the panel, and still use DynamicLog / StatusBar |
| 2021-09-23 15:04:03 | <geekosaur> | it just takes some work since it has to be fed via dbus |
| 2021-09-23 15:05:39 | <geekosaur> | this would however make it much easier to, say, integrate a notification area with xmonad status |
| 2021-09-23 15:05:45 | <eezo[m]> | which brings to mind - what is the communication channel with xmobar? stdin? dbus? unix socket (seems overkill)? |
| 2021-09-23 15:06:06 | <geekosaur> | stdin via a pipe in released xmonad, an X11 property in git |
| 2021-09-23 15:06:54 | <geekosaur> | (the old mechanism meant that if you forgot to configure StdinReader or did it improperly, xmonad would eventually hang) |
| 2021-09-23 15:06:55 | <eezo[m]> | ok, so that would mean that if you use `spawnOnce` to open up xmonad, you can't really communicate with it state-wise, right? |
| 2021-09-23 15:07:20 | <eezo[m]> | (previous attempt at this wasn't in xfce and was much more barebones, experimenting with xmobar etc) |
| 2021-09-23 15:07:29 | <geekosaur> | spawnOnce would work with properties but not with a pipe |
| 2021-09-23 15:07:54 | <geekosaur> | xmobar has actually had support for props for several years, we just didn't use it by default |
| 2021-09-23 15:09:50 | <eezo[m]> | >stdin via a pipe in released xmonad, an X11 property in git |
| 2021-09-23 15:09:50 | <eezo[m]> | so this is a fairly new thing? I installed xmonad via apt in xubuntu |
| 2021-09-23 15:10:09 | <geekosaur> | xubuntu won't have the default-via-props stuff yet |
| 2021-09-23 15:10:13 | <eezo[m]> | I'll have to do some research on what x11 properties are. Not familiar with the concept |
| 2021-09-23 15:10:59 | <geekosaur> | you can take a look at https://github.com/xmonad/xmonad-contrib/blob/master/XMonad/Hooks/StatusBar.hs to see the new stuff |
| 2021-09-23 15:11:34 | <geekosaur> | an X11 property is just a chunk of data the server holds onto that any client can set or query, although most often there's one setter ad multiple getters |
| 2021-09-23 15:12:22 | <geekosaur> | since they live in te server they're relatively expensive, but not much more so than a pipe since the server connection is a local tcp socket anyway |
| 2021-09-23 15:12:35 | <geekosaur> | er, local unix socket |
| 2021-09-23 15:13:00 | <geekosaur> | they can hold data of multiple types, but we're using UTF8_STRING |
| 2021-09-23 15:13:04 | <mc47> | (this might be a bit better to read through, if you don't want to look at the code https://xmonad.github.io/xmonad-docs/xmonad-contrib/XMonad-Hooks-StatusBar.html) |
| 2021-09-23 15:13:30 | <eezo[m]> | ah, that helps. My ability to read Haskell is still a WIP |
| 2021-09-23 15:14:12 | <geekosaur> | you can also use the xprop command to inspect properties on any window including the root window (which is kinda the "global namespace" for properties) |
| 2021-09-23 15:14:32 | <eezo[m]> | I've been wanting to for > 3 years, but I keep trying and then rage-quitting because it's so different - even though I embrace emphatically most of its FP design (I use the `fp-ts` as much as I can in my typescript day job) |
| 2021-09-23 15:20:28 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-09-23 15:21:34 | <vojjvoda[m]> | <unclechu> "војвода what bar are you using?" <- xmobar |
| 2021-09-23 15:32:02 | <mc47> | eezo[m] the logo of fp-ts is one of the most creative logos I've ever seen, it had me chuckle audibly :D |
| 2021-09-23 15:32:14 | <mc47> | brilliant |
| 2021-09-23 15:34:15 | <Solid> | the desktop configs to less than most people think, I'd imagine |
| 2021-09-23 15:34:23 | <Solid> | but it's nice to hear that the integration with xfce is so seemless |
| 2021-09-23 15:34:39 | <eezo[m]> | yeah, the logo's pretty great. The concepts I think were modeled somewhat after Haskell, somewhat after PureScript, and somewhat after Scala. A pretty interesting mix - and he's got a whole ecosystem of corelated libs (I'm using `parser-ts` to make a DSL in my day job too) |
| 2021-09-23 15:36:47 | <eezo[m]> | Solid: I know in my previous non-xfce config, I had trouble for example unmuting due to pulseaudio oddities - I could change volume, change playback device, and mute, all just fine. That wasn't too bad. Unmute was a problem (workaround: turn the volume back up on my media knob on my keyboard, lol) |
| 2021-09-23 15:37:08 | <Solid> | s/to/do/ |
| 2021-09-23 15:41:51 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 265 seconds) |
| 2021-09-23 15:43:47 | <eezo[m]> | [looking at the code for xfce config] huh, I guess xfce is grabbing media keys before xmonad even gets to them? interesting |
| 2021-09-23 15:44:26 | <geekosaur> | likely. watch especially for stuff grabbed by panel applets |
| 2021-09-23 15:44:46 | <geekosaur> | there's usually a panel or applet knob to disable this |
| 2021-09-23 15:45:21 | <geekosaur> | like I always have to tweak mate to let go of mod4 because the menu applet grabs it by default |
| 2021-09-23 15:45:30 | <eezo[m]> | hmm, maybe next time I log in and xfce4-panel fails to load properly (looking in htop to see if it's dead or just not showing) I'll try out my media keys to see what happens |
| 2021-09-23 15:46:18 | <eezo[m]> | ah. Yeah, with vanilla xfce, not using mod4 to open the "start menu" thing had always been kinda frustrating, but with xmonad, it's a pretty nice thing |
| 2021-09-23 15:46:39 | <eezo[m]> | and it's so easy to just delete keybindings in xfce settings |
| 2021-09-23 15:53:11 | <eezo[m]> | now, if only I could get the Android emulator to behave like a _sane_ application in xmonad. It was worse before, but with my xfce environment, the little "helper menu" thing next to it glitches the whole WM (even element.io, right now, on a completely different workspace, has its active window border flickering about once every few seconds) |
| 2021-09-23 15:56:32 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-09-23 16:02:07 | × | eezo[m] quits (~eezomatri@2001:470:69fc:105::1:7) (Remote host closed the connection) |
| 2021-09-23 16:02:07 | × | jceb[m] quits (~jcebmatri@2001:470:69fc:105::1396) (Remote host closed the connection) |
| 2021-09-23 16:02:08 | × | M-elo-[m] quits (~gilganixm@2001:470:69fc:105::3d09) (Remote host closed the connection) |
| 2021-09-23 16:02:08 | × | MatrixTravelerbo quits (~voyagert2@2001:470:69fc:105::22) (Read error: Connection reset by peer) |
| 2021-09-23 16:02:08 | × | Drishal[m] quits (~drishalma@2001:470:69fc:105::a36) (Write error: Connection reset by peer) |
| 2021-09-23 16:02:08 | × | VarikValefor[m] quits (~varikvale@2001:470:69fc:105::a5d) (Write error: Connection reset by peer) |
All times are in UTC.