Logs: liberachat/#xmonad
| 2022-02-23 14:01:59 | <lambdabot> | <hint>:1:1: error: parse error on input ‘<@’ |
| 2022-02-23 14:02:25 | <justinrestivo[m]> | looks like it's a bitwise and? |
| 2022-02-23 14:02:40 | <Ash[m]> | oh, i see, thanks |
| 2022-02-23 14:02:56 | <Ash[m]> | i didn't realize you could name functions with only special characters like that |
| 2022-02-23 14:03:04 | <Solid> | close, it's a bitwise or |
| 2022-02-23 14:03:17 | <justinrestivo[m]> | when in doubt, hoogle is your friend |
| 2022-02-23 14:03:18 | <Solid> | https://hackage.haskell.org/package/base-4.16.0.0/docs/Data-Bits.html#v:.-124-. |
| 2022-02-23 14:03:38 | <justinrestivo[m]> | oops sorry. I'm blind 😂 |
| 2022-02-23 14:03:38 | <Solid> | indeed: https://hoogle.haskell.org/?hoogle=.%7C. gets you the right thing as the first result |
| 2022-02-23 14:05:54 | <Solid> | Ash[m]: Haskell allows users to define new operators using a variety of symbols |
| 2022-02-23 14:06:12 | <Ash[m]> | neat |
| 2022-02-23 14:06:13 | <Solid> | also, I would advise you to stay away from the xmonad section of the Haskell wiki---especially because we have a shiny new tutorial! |
| 2022-02-23 14:07:00 | <Ash[m]> | oh, I was only there because I wanted to see how the default workspace keybinds were defined |
| 2022-02-23 14:08:01 | <Solid> | the default config is part of the repo on github, so that's probably a better, more up-to-date, place to look (although the default config doesn't really change much anymore) |
| 2022-02-23 14:08:02 | <geekosaur> | the wiki is woefully out of date, including the config it shows there which dates from 0.9 (we're on 0.17) |
| 2022-02-23 14:08:17 | <Solid> | https://github.com/xmonad/xmonad/blob/master/src/XMonad/Config.hs |
| 2022-02-23 14:08:38 | <Ash[m]> | oh, cool, thanks |
| 2022-02-23 14:20:25 | → | jao joins (~jao@static-68-235-44-77.cust.tzulo.com) |
| 2022-02-23 14:32:23 | → | mvk joins (~mvk@2607:fea8:5cdc:bf00::99e7) |
| 2022-02-23 14:49:08 | × | yauhsien quits (~Yau-Hsien@61-231-19-150.dynamic-ip.hinet.net) (Quit: Leaving) |
| 2022-02-23 15:00:57 | → | seschwar joins (~seschwar@user/seschwar) |
| 2022-02-23 15:45:48 | × | abhixec quits (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2022-02-23 15:55:31 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-02-23 16:05:04 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
| 2022-02-23 16:54:56 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-02-23 16:55:15 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2022-02-23 17:04:30 | × | Natch quits (~natch@c-4db8e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 2022-02-23 17:17:53 | × | jao quits (~jao@static-68-235-44-77.cust.tzulo.com) (Ping timeout: 256 seconds) |
| 2022-02-23 17:20:25 | → | jao joins (~jao@66.63.167.125) |
| 2022-02-23 17:32:16 | → | Natch joins (~natch@c-4db8e255.014-297-73746f25.bbcust.telenor.se) |
| 2022-02-23 18:16:08 | → | cfricke joins (~cfricke@user/cfricke) |
| 2022-02-23 18:22:03 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2022-02-23 18:48:44 | × | jeeeun quits (~jeeeun@78.40.148.178) (Quit: The Lounge - https://thelounge.chat) |
| 2022-02-23 18:54:11 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2022-02-23 19:00:30 | → | jeeeun joins (~jeeeun@78.40.148.178) |
| 2022-02-23 19:03:51 | × | jeeeun quits (~jeeeun@78.40.148.178) (Read error: Connection reset by peer) |
| 2022-02-23 19:12:54 | → | benin joins (~benin@223.182.225.201) |
| 2022-02-23 19:22:22 | → | jeeeun joins (~jeeeun@78.40.148.178) |
| 2022-02-23 19:30:04 | × | jeeeun quits (~jeeeun@78.40.148.178) (Read error: Connection reset by peer) |
| 2022-02-23 19:31:20 | → | jeeeun joins (~jeeeun@78.40.148.178) |
| 2022-02-23 19:44:37 | × | twiclo1 quits (~twiclo@vpn.utahbroadband.com) (Ping timeout: 240 seconds) |
| 2022-02-23 19:46:47 | → | twiclo1 joins (~twiclo@mail.twil.cx) |
| 2022-02-23 19:50:12 | × | jeeeun quits (~jeeeun@78.40.148.178) (Ping timeout: 240 seconds) |
| 2022-02-23 20:14:02 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-02-23 20:21:19 | → | jeeeun joins (~jeeeun@78.40.148.178) |
| 2022-02-23 21:02:35 | × | benin quits (~benin@223.182.225.201) (Read error: Connection reset by peer) |
| 2022-02-23 21:54:11 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2022-02-23 22:35:36 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-02-23 22:35:50 | → | abhixec joins (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-02-23 22:39:35 | × | Czernobog quits (~Czernobog@user/czernobog) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-23 22:40:29 | → | Czernobog joins (~Czernobog@user/czernobog) |
| 2022-02-23 23:55:48 | → | M-elo-[m] joins (~gilganixm@2001:470:69fc:105::3d09) |
| 2022-02-23 23:56:58 | <M-elo-[m]> | What would be the appropriate way to get color & font from .Xresources and add them to your xmonad setup instead of defining colors manually and rebuild? |
| 2022-02-23 23:56:58 | <M-elo-[m]> | Came across the following implementation but was wondering if there is a better approach to the problem: https://edwardwibowo.com/blog/switching-themes-on-the-fly-with-xmonad |
| 2022-02-24 00:02:24 | <geekosaur> | o.O I'd use the Xrm library, since that's what it's there fore |
| 2022-02-24 00:19:56 | × | seschwar quits (~seschwar@user/seschwar) (Quit: :wq) |
| 2022-02-24 01:35:42 | × | td_ quits (~td@94.134.91.238) (Ping timeout: 256 seconds) |
| 2022-02-24 01:44:12 | × | jao quits (~jao@66.63.167.125) (Ping timeout: 256 seconds) |
| 2022-02-24 01:46:24 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-02-24 01:51:51 | × | steve__ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2022-02-24 03:04:41 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 256 seconds) |
| 2022-02-24 03:16:25 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-02-24 03:32:44 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 2022-02-24 03:45:16 | × | abhixec quits (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2022-02-24 04:31:01 | → | benin joins (~benin@106.195.37.136) |
| 2022-02-24 04:37:39 | → | steve__ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-02-24 04:44:04 | <galactic_starfis> | I didn't use .Xresources, but I have a similar thing, if you're interested. |
| 2022-02-24 04:44:34 | <galactic_starfis> | It just pulls from specific files, and if one doesn't exist, it pulls from the next, etc, etc, with a fallback of some default colors. |
| 2022-02-24 04:45:12 | <galactic_starfis> | I'm curious if it could ever be built in a way so that you could achieve color switching without having to restart XMonad. |
| 2022-02-24 04:45:25 | <galactic_starfis> | Given the types surrounding it all though... Unlikely... |
| 2022-02-24 05:09:08 | → | benin6 joins (~benin@106.195.34.202) |
| 2022-02-24 05:12:36 | × | benin quits (~benin@106.195.37.136) (Ping timeout: 240 seconds) |
| 2022-02-24 05:12:37 | benin6 | is now known as benin |
| 2022-02-24 05:48:01 | × | benin quits (~benin@106.195.34.202) (Read error: Connection reset by peer) |
| 2022-02-24 06:17:08 | → | benin joins (~benin@106.195.33.202) |
| 2022-02-24 06:34:42 | → | benin5 joins (~benin@106.195.39.120) |
| 2022-02-24 06:35:55 | × | benin5 quits (~benin@106.195.39.120) (Read error: Connection reset by peer) |
| 2022-02-24 06:36:53 | × | benin quits (~benin@106.195.33.202) (Ping timeout: 256 seconds) |
| 2022-02-24 06:37:51 | → | benin joins (~benin@106.195.39.120) |
| 2022-02-24 06:44:17 | × | benin quits (~benin@106.195.39.120) (Read error: Connection reset by peer) |
| 2022-02-24 06:47:23 | → | benin joins (~benin@106.195.39.120) |
| 2022-02-24 07:05:14 | → | arjun joins (~arjun@user/arjun) |
| 2022-02-24 07:05:23 | <arjun> | hi |
| 2022-02-24 07:05:47 | <arjun> | anyone knows why font-awesome shows boxes for some icons in xmobar while some other icons work fine? |
| 2022-02-24 07:08:37 | × | benin quits (~benin@106.195.39.120) (Ping timeout: 256 seconds) |
| 2022-02-24 07:21:00 | <Solid> | galactic_starfis: introduce an IORef for the colour and just switch it based on that? |
| 2022-02-24 07:21:11 | <Solid> | would certainly work if you had different prompts with all the available colours |
| 2022-02-24 07:21:49 | <Solid> | but that "let's call xrdb and then unsafePerformIO it" is truly scary |
| 2022-02-24 07:24:36 | → | abhixec joins (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-02-24 07:46:51 | × | steve__ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2022-02-24 07:49:40 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2022-02-24 07:55:57 | × | mvk quits (~mvk@2607:fea8:5cdc:bf00::99e7) (Ping timeout: 240 seconds) |
| 2022-02-24 08:48:19 | → | cfricke joins (~cfricke@user/cfricke) |
| 2022-02-24 08:59:37 | → | yauhsien joins (~Yau-Hsien@61-231-19-150.dynamic-ip.hinet.net) |
| 2022-02-24 09:00:11 | × | lyiriyah[m] quits (~lyiriyahm@2001:470:69fc:105::cc0) (Quit: You have been kicked for being idle) |
| 2022-02-24 09:02:23 | → | td_ joins (~td@94.134.91.148) |
| 2022-02-24 09:07:30 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-02-24 10:52:11 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2022-02-24 11:46:22 | <geekosaur> | depending on how it's done I wouldn't say scary, just unreliable |
| 2022-02-24 13:18:15 | × | arjun quits (~arjun@user/arjun) (Remote host closed the connection) |
All times are in UTC.