Logs: liberachat/#xmonad
| 2022-08-07 02:03:27 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 252 seconds) |
| 2022-08-07 02:23:02 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 2022-08-07 02:35:26 | × | td_ quits (~td@94.134.91.51) (Ping timeout: 240 seconds) |
| 2022-08-07 02:37:33 | → | td_ joins (~td@94.134.91.67) |
| 2022-08-07 02:42:48 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-08-07 02:45:04 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-08-07 03:00:04 | → | steve_ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-08-07 03:15:19 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-08-07 06:03:06 | → | rekahsoft joins (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-08-07 06:05:57 | × | rekahsoft quits (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Remote host closed the connection) |
| 2022-08-07 06:09:43 | → | rekahsoft joins (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-08-07 06:10:05 | × | rekahsoft quits (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Remote host closed the connection) |
| 2022-08-07 06:10:47 | → | rekahsoft joins (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-08-07 06:12:25 | × | steve_ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2022-08-07 06:27:06 | → | qbt joins (~qbt@user/edun) |
| 2022-08-07 06:31:28 | → | steve_ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-08-07 07:17:53 | × | rekahsoft quits (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2022-08-07 07:19:26 | × | steve_ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2022-08-07 08:06:33 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2022-08-07 08:42:23 | × | jeeeun quits (~jeeeun@78.40.148.178) (Read error: Connection reset by peer) |
| 2022-08-07 08:42:28 | → | jeeeun4 joins (~jeeeun@78.40.148.178) |
| 2022-08-07 09:46:05 | <liskin> | I'd expect the upgrade path to be smooth but I don't think anyone actually tested upgrading a running xmonad from 0.15 to 0.17 |
| 2022-08-07 09:46:40 | <liskin> | also it depends on the layouts, some haven't changed much others did |
| 2022-08-07 09:53:47 | → | logzet joins (~quassel@2001:9e8:e503:e800:dabb:c1ff:fed3:a1b9) |
| 2022-08-07 10:14:20 | <theliver[m]> | It works correctly at startup, however upon a restart (of xmonad) I get the same issue. Debugging this now and indeed it seems `pureLayout` is returning a `Rectangle` that has an incorrect width. |
| 2022-08-07 11:36:14 | <theliver[m]> | Ah seems to have been due to a fix of how dock panels are 'avoided' due to desktopLayoutModifiers. As I have a panel that shows/hides in the middle of the screen, my windows/screen was being resized to avoid that. So easy fix to just remove desktopLayoutModifiers. :) |
| 2022-08-07 13:53:19 | → | redgloboli joins (~redglobol@user/redgloboli) |
| 2022-08-07 13:53:26 | × | [Leary] quits (~Leary]@122-58-224-198-vdsl.sparkbb.co.nz) (Ping timeout: 240 seconds) |
| 2022-08-07 14:09:46 | → | diep joins (~diep@2a01:cb11:2d7:4a00:a13f:e40c:c4e8:736c) |
| 2022-08-07 14:10:15 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-07 14:11:43 | × | diep quits (~diep@2a01:cb11:2d7:4a00:a13f:e40c:c4e8:736c) (Remote host closed the connection) |
| 2022-08-07 14:20:44 | → | steve_ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-08-07 14:22:43 | → | diep joins (~diep@2a01:cb11:2d7:4a00:a13f:e40c:c4e8:736c) |
| 2022-08-07 14:25:33 | <zim0369[m]> | geekosaur: I've tried most things now but couldn't find anything. |
| 2022-08-07 14:25:33 | <zim0369[m]> | My findings till now: |
| 2022-08-07 14:25:51 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-08-07 14:26:46 | <diep> | Hi, I just switched to topics, and for some topics I would like to use font icons (through a nerd font) for topic name. But it fails to compile > "lexical error in string/character literal at character '\985015'" there is something I missed? |
| 2022-08-07 14:27:47 | <geekosaur> | ghc doesn't like literal characters for various things (notably private use area characters), you have to use escapes |
| 2022-08-07 14:28:23 | <zim0369[m]> | 1. It is caused by misconfiguration or missing configuration in my xmonad.hs |
| 2022-08-07 14:28:23 | <zim0369[m]> | 2. It isn't caused by myDecorate, windowNavigation, subTabbed, boringWindows, reflectHoriz |
| 2022-08-07 14:29:33 | <geekosaur> | > generalCategory '\985015' |
| 2022-08-07 14:29:35 | <lambdabot> | PrivateUse |
| 2022-08-07 14:29:56 | <geekosaur> | yeh, ghc will reject that as a literal character |
| 2022-08-07 14:32:37 | <diep> | hmm okay thx, but the strange thing is I was used to name my workspaces with icons, and Im pretty sure I didnt need to write the names using escapes |
| 2022-08-07 14:32:57 | <geekosaur> | it depends on the category |
| 2022-08-07 14:33:10 | <geekosaur> | ghc will accept most things but not private use |
| 2022-08-07 14:33:47 | <diep> | Is "category" something haskell langage related? |
| 2022-08-07 14:34:03 | <geekosaur> | no, it's defined by unicode |
| 2022-08-07 14:35:28 | <diep> | humm okay |
| 2022-08-07 14:35:36 | <geekosaur> | but the haskell language standard defines characters in terms of their unicode category, and private use can't really be defined since ghc has no idea how to treat such characters |
| 2022-08-07 14:36:04 | <geekosaur> | I did at one point request that they be accepted in Char or String literals but that would comp-licate the lexer too much to only accept them there |
| 2022-08-07 14:36:39 | <diep> | yeah but again this is weird, because this same icon doesnt cause compilation error when used with workspace |
| 2022-08-07 14:36:59 | <diep> | and based on what you explained, it should cause error |
| 2022-08-07 14:37:11 | <diep> | with workspace as well |
| 2022-08-07 14:38:14 | <geekosaur> | again it depends on the category. ghc is fine with smileys, for example, or dingbats, because they both have well defined categories |
| 2022-08-07 14:38:22 | <geekosaur> | private use area characters don't |
| 2022-08-07 14:38:32 | <geekosaur> | they're just private use |
| 2022-08-07 14:39:09 | <geekosaur> | > generalCategory '😛' |
| 2022-08-07 14:39:12 | <lambdabot> | OtherSymbol |
| 2022-08-07 14:42:08 | <geekosaur> | zim0369[m], I really don't know what to tell you at this point |
| 2022-08-07 14:43:17 | <zim0369[m]> | geekosaur: is this sus worthy:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/930ed98afb7ef3dbfbb43accf3a0c48da0d3bdae) |
| 2022-08-07 14:44:40 | <diep> | what is the right impot for `generalCategory`? |
| 2022-08-07 14:44:55 | <diep> | import* |
| 2022-08-07 14:45:15 | <geekosaur> | Data.Char |
| 2022-08-07 14:45:21 | <diep> | thx! |
| 2022-08-07 14:45:22 | <geekosaur> | @index generalCategory |
| 2022-08-07 14:45:22 | <lambdabot> | Data.Char |
| 2022-08-07 14:45:34 | <geekosaur> | convenient way to look things like that up |
| 2022-08-07 14:45:49 | <geekosaur> | zim0369[m], why do you havfe both xmobarProp and withEasySB? |
| 2022-08-07 14:47:32 | <zim0369[m]> | the docs |
| 2022-08-07 14:48:25 | <zim0369[m]> | under "Changing what xmonad sends to xmobar" |
| 2022-08-07 14:48:26 | <zim0369[m]> | https://xmonad.org/TUTORIAL.html |
| 2022-08-07 14:48:52 | <geekosaur> | right, it first sets you up with xmobarProp and then it *replaces* it with withEasySB |
| 2022-08-07 14:48:59 | <geekosaur> | it does not *add* it |
| 2022-08-07 14:49:14 | <geekosaur> | they will interfere with each other |
| 2022-08-07 14:50:13 | <zim0369[m]> | oh yes i was lost |
| 2022-08-07 14:50:19 | <zim0369[m]> | ill keep the witheasysb line |
| 2022-08-07 14:50:32 | <zim0369[m]> | still no success |
| 2022-08-07 14:54:30 | <diep> | sorry guys but I fails to use `generalCategory` in my topics declaration, what I tested is `inHome (generalCategory '\985015') spawnShell` but I get a compile error |
| 2022-08-07 14:54:57 | <diep> | Couldn't match type ‘GeneralCategory’ with ‘[Char]’ |
| 2022-08-07 15:07:14 | <diep> | geekosaur ? |
| 2022-08-07 15:09:07 | <geekosaur> | I'm not sure what you mean. but no, generalCaegory doesn't produce a String |
| 2022-08-07 15:09:14 | <geekosaur> | :t generalCategory |
| 2022-08-07 15:09:15 | <lambdabot> | Char -> GeneralCategory |
| 2022-08-07 15:10:26 | <diep> | I'm asking how to use it in my topic declaration |
| 2022-08-07 15:10:51 | <diep> | I want the name of the topic to be that icon "" |
| 2022-08-07 15:11:08 | <diep> | and you told me to use `generalCategory '\985015'` for it |
| 2022-08-07 15:11:15 | <diep> | so that's why I tested |
| 2022-08-07 15:11:29 | <geekosaur> | I don't think you need generalCategory there, you just need to use the escape sequence (in decimal like that, or in hex with \x...) in the string |
| 2022-08-07 15:11:49 | <geekosaur> | I used generalCategory just to verify that it was a PUA character |
| 2022-08-07 15:13:44 | <diep> | oh ok I misinterpreted |
| 2022-08-07 15:14:07 | <diep> | `inHome "\985015" spawnShell` works fine ;) |
| 2022-08-07 15:14:09 | <diep> | thx |
| 2022-08-07 15:14:15 | <geekosaur> | https://github.com/geekosaur/xmonad.hs/blob/pyanfar/xmonad.hs#L61 |
| 2022-08-07 15:15:03 | <geekosaur> | (I don't have icons for my workspaces but I added a module which associates icons with scratchpads) |
| 2022-08-07 15:41:56 | × | qbt quits (~qbt@user/edun) (Quit: WeeChat 3.5) |
| 2022-08-07 15:42:15 | → | [Leary] joins (~Leary]@122-58-224-198-vdsl.sparkbb.co.nz) |
| 2022-08-07 16:14:09 | → | coco joins (~coco@212-51-146-199.fiber7.init7.net) |
| 2022-08-07 16:14:28 | × | diep quits (~diep@2a01:cb11:2d7:4a00:a13f:e40c:c4e8:736c) (Remote host closed the connection) |
| 2022-08-07 17:54:15 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
All times are in UTC.