Logs: freenode/#xmonad
| 2021-03-16 12:58:21 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 2021-03-16 13:00:33 | → | peet joins (~peet@node-16g0.pool-118-172.dynamic.totinternet.net) |
| 2021-03-16 13:09:02 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 2021-03-16 13:13:18 | → | ADG1089__ joins (~aditya@106.214.253.186) |
| 2021-03-16 13:28:56 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds) |
| 2021-03-16 13:29:24 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-03-16 13:30:22 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-16 13:32:15 | × | peet quits (~peet@node-16g0.pool-118-172.dynamic.totinternet.net) (Remote host closed the connection) |
| 2021-03-16 13:43:47 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-16 14:13:49 | × | ChubaDuba quits (~ChubaDuba@46.147.118.215) (Ping timeout: 245 seconds) |
| 2021-03-16 14:14:56 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 256 seconds) |
| 2021-03-16 14:16:26 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds) |
| 2021-03-16 14:17:22 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-16 14:27:16 | → | idhugo__ joins (~idhugo@130.225.16.16) |
| 2021-03-16 14:29:57 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 264 seconds) |
| 2021-03-16 14:32:16 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-16 14:40:56 | × | idhugo__ quits (~idhugo@130.225.16.16) (Read error: Connection reset by peer) |
| 2021-03-16 14:42:45 | → | idhugo__ joins (~idhugo@80-62-116-180-mobile.dk.customer.tdc.net) |
| 2021-03-16 14:48:46 | → | idhugo_ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-16 14:49:12 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-03-16 14:50:53 | × | everythingTaken quits (~tux@gateway/tor-sasl/everythingtaken) (Quit: everythingTaken) |
| 2021-03-16 14:51:30 | × | idhugo__ quits (~idhugo@80-62-116-180-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
| 2021-03-16 15:21:22 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-16 15:36:44 | avalan | is now known as dweller |
| 2021-03-16 15:47:04 | → | ajc joins (~ajc@69.231.232.79) |
| 2021-03-16 15:47:26 | ← | ajc parts (~ajc@69.231.232.79) () |
| 2021-03-16 15:47:47 | → | ajc joins (~ajc@69.231.232.79) |
| 2021-03-16 16:05:26 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds) |
| 2021-03-16 16:05:52 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-03-16 16:13:37 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-16 16:19:38 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 245 seconds) |
| 2021-03-16 16:20:37 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-16 16:28:56 | × | ADG1089__ quits (~aditya@106.214.253.186) (Remote host closed the connection) |
| 2021-03-16 16:29:09 | → | tanner_ joins (~tanner@216.106.138.184) |
| 2021-03-16 16:41:12 | → | growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 2021-03-16 16:45:07 | jusa__ | is now known as jusa |
| 2021-03-16 16:56:51 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 2021-03-16 17:13:42 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-03-16 17:13:59 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-03-16 17:20:45 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0.1) |
| 2021-03-16 17:24:07 | × | notis quits (~notis@85.203.44.244) (Ping timeout: 265 seconds) |
| 2021-03-16 17:33:14 | → | notis joins (~notis@85.203.44.249) |
| 2021-03-16 17:35:22 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 260 seconds) |
| 2021-03-16 17:48:30 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-03-16 17:50:19 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-03-16 17:54:34 | <Liskni_si> | aww, /me wanted to have emoji/icons in xmobar and ended up shaving 50 lines off ClickableWorkspaces by inventing a more composable PP :-) |
| 2021-03-16 17:59:02 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-16 18:06:15 | <Solid> | :) |
| 2021-03-16 18:07:06 | <Liskni_si> | xmonadPropLog =<< dynamicLogString =<< clickablePP =<< workspaceNamesPP myPP |
| 2021-03-16 18:07:09 | <Liskni_si> | this just works now. |
| 2021-03-16 18:07:28 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-16 18:07:41 | <Liskni_si> | and it will make a good argument from dropping the Icon data type from DynamicIcons :-) |
| 2021-03-16 18:07:53 | <Solid> | oh cool |
| 2021-03-16 18:08:35 | <Liskni_si> | but I should first merge mc47's reshuffle :-) |
| 2021-03-16 18:08:44 | <Liskni_si> | for some reason I just keep procrastinating :-/ |
| 2021-03-16 18:09:11 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-03-16 18:09:26 | <Liskni_si> | (also, marshallPP can be sticked anywhere in that pipeline and it works as well) |
| 2021-03-16 18:11:37 | <mc47> | Didn't that also work before? |
| 2021-03-16 18:13:34 | <Liskni_si> | marshallPP after workspaceNamesPP probably did, but clickablePP didn't compose with either and needed extra code for all combinations of these |
| 2021-03-16 18:16:18 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-16 18:24:29 | → | ADG1089__ joins (~aditya@106.214.253.186) |
| 2021-03-16 18:27:55 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds) |
| 2021-03-16 18:46:00 | × | notis quits (~notis@85.203.44.249) (Ping timeout: 265 seconds) |
| 2021-03-16 18:48:11 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-03-16 18:50:21 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Client Quit) |
| 2021-03-16 18:53:52 | × | gazler quits (~gazler@195.107.2.81.in-addr.arpa) (Remote host closed the connection) |
| 2021-03-16 18:56:59 | → | notis joins (~notis@85.203.44.249) |
| 2021-03-16 18:57:56 | × | davemq quits (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-03-16 18:58:25 | → | davemq joins (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) |
| 2021-03-16 19:34:48 | × | ajc quits (~ajc@69.231.232.79) (Remote host closed the connection) |
| 2021-03-16 19:35:16 | → | ajc joins (~ajc@69.231.232.79) |
| 2021-03-16 19:41:55 | × | weechat3 quits (~mingc@2400:8902::f03c:91ff:feb7:8e82) (Ping timeout: 240 seconds) |
| 2021-03-16 19:51:48 | → | weechat3 joins (~mingc@li1683-39.members.linode.com) |
| 2021-03-16 20:00:25 | × | davemq quits (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-03-16 20:00:53 | → | davemq joins (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) |
| 2021-03-16 20:30:33 | × | ADG1089__ quits (~aditya@106.214.253.186) (Quit: Konversation terminated!) |
| 2021-03-16 20:38:43 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-16 20:43:38 | × | davemq quits (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-03-16 20:43:59 | → | davemq joins (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) |
| 2021-03-16 20:58:57 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds) |
| 2021-03-16 20:59:32 | × | sam_d quits (~sam@unaffiliated/sam-d/x-1905598) (Ping timeout: 256 seconds) |
| 2021-03-16 21:09:33 | → | sam_d joins (~sam@unaffiliated/sam-d/x-1905598) |
| 2021-03-16 21:17:33 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 2021-03-16 21:27:54 | × | notis quits (~notis@85.203.44.249) (Read error: Connection reset by peer) |
| 2021-03-16 21:30:06 | <Liskni_si> | so, um, what font are people using for icons? :-) |
| 2021-03-16 21:30:24 | → | notis joins (~notis@130.43.124.71.dsl.dyn.forthnet.gr) |
| 2021-03-16 21:30:37 | <Liskni_si> | I tried some of those nerd fonts but can't make the character width right :-/ |
| 2021-03-16 22:19:09 | × | qbit2821 quits (~qbit2821@94-255-133-216.cust.bredband2.com) (Ping timeout: 264 seconds) |
| 2021-03-16 22:29:04 | → | growpotk- joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 2021-03-16 22:31:45 | → | weechat_4 joins (~mingc@2400:8902::f03c:91ff:feb7:8e82) |
| 2021-03-16 22:35:25 | × | weechat3 quits (~mingc@li1683-39.members.linode.com) (*.net *.split) |
| 2021-03-16 22:35:25 | × | growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (*.net *.split) |
| 2021-03-16 22:35:25 | × | tanner_ quits (~tanner@216.106.138.184) (*.net *.split) |
| 2021-03-16 22:35:25 | × | seschwar quits (~seschwar@unaffiliated/seschwar) (*.net *.split) |
| 2021-03-16 22:40:44 | → | seschwar joins (~seschwar@dyndsl-089-166-228-227.ewe-ip-backbone.de) |
| 2021-03-16 22:41:44 | seschwar | is now known as Guest9581 |
| 2021-03-16 22:45:36 | <mc47> | I'm using FontAwesome |
| 2021-03-16 22:49:12 | × | spoonm quits (~spoonm@tokyo.spoonm.org) (Ping timeout: 260 seconds) |
| 2021-03-16 23:01:27 | <Liskni_si> | I somehow managed to find a nerd font with good enough metrics in the meantime :-) |
| 2021-03-16 23:02:21 | <Liskni_si> | although it seems like FontAwesome has icons that aren't included in the nerd fonts, so I should give that a try, too |
All times are in UTC.