Logs: freenode/#xmonad
| 2020-12-10 15:32:44 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 2020-12-10 15:35:48 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2020-12-10 15:37:48 | × | kelnoky quits (~shao@ip1f1222c4.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2020-12-10 15:43:49 | <tomsmeding> | adder: perhaps better to discuss here, wasn't following this channel |
| 2020-12-10 15:44:22 | <adder> | tomsmeding, ok |
| 2020-12-10 15:44:26 | <adder> | well i'm not sure how to check what show s produces? |
| 2020-12-10 15:44:55 | <tomsmeding> | can't you just print the value using putStrLn if you're in IO, or if you aren't, use `trace` from Debug.Trace? |
| 2020-12-10 15:45:22 | × | notis quits (~notis@185.51.134.229) (Ping timeout: 272 seconds) |
| 2020-12-10 15:51:50 | <adder> | i'm not that good with haskell unfortunately |
| 2020-12-10 15:52:15 | <adder> | i removed xmonadctl view \\\ and left just shows s, it said this /bin/sh: 1: S: not found |
| 2020-12-10 15:54:26 | <adder> | when i remove show s, it says this Couldn't find command view"2" |
| 2020-12-10 15:54:45 | <adder> | which is the WorkspaceId |
| 2020-12-10 15:55:16 | <Solid> | adder: `import Debug.Trace` and then `clickable' s w = trace (show s) $ ...` |
| 2020-12-10 15:55:31 | <Solid> | prints the value of `show s` to stdout |
| 2020-12-10 15:57:04 | <adder> | yeah it has spaces |
| 2020-12-10 15:57:13 | <adder> | it's in the format S 0 or S 1 |
| 2020-12-10 15:59:00 | <tomsmeding> | one quick hack you can do is replace `show s` in your code with `show (fromEnum s)` |
| 2020-12-10 15:59:34 | <tomsmeding> | but the xmonad experts here should be able to tell you if that's the way to go; I didn't find any other suitable ScreenId -> Int function in my quick search in the documentation |
| 2020-12-10 16:00:11 | <adder> | that works! thanks a bunch. |
| 2020-12-10 16:00:45 | <tomsmeding> | for your understanding: ScreenId is this thing: https://hackage.haskell.org/package/xmonad-0.15/docs/XMonad-Core.html#t:ScreenId |
| 2020-12-10 16:00:59 | <tomsmeding> | it's a type with one constructor, namely `S`, that has an Int argument |
| 2020-12-10 16:01:15 | <tomsmeding> | so if you `show` that, you get "S " followed by whatever is the show-representation of the Int |
| 2020-12-10 16:01:36 | <tomsmeding> | you want just the Int, and one dirty way to do that is use the Enum instance, which provides fromEnum which does the trick |
| 2020-12-10 16:02:03 | <tomsmeding> | alternatively you could do something like: let S number = s in ... use number here ... |
| 2020-12-10 16:02:11 | <adder> | cool. thanks for the explanation. i'll have to devote some time to the basics because this is unbearable. i love xmonad but i don't know any haskell and it's hard to do what i need to do. |
| 2020-12-10 16:02:34 | <adder> | i've been configuring dual monitor setup since yesterday morning |
| 2020-12-10 16:02:54 | <adder> | thanks once again |
| 2020-12-10 16:03:06 | <Solid> | Yes there doesn't seem to be a field for nicely unwrapping the `ScreenId` |
| 2020-12-10 16:03:48 | <Solid> | adder: you can write a function that's like `unScreen :: ScreenId -> Int ; unScreen (S n) = n` to get rid of the hack ;) |
| 2020-12-10 16:04:34 | <adder> | thank you :) |
| 2020-12-10 16:04:49 | <tomsmeding> | though if screen_workspace is something one commonly needs, I'd expect xmonad to have a function to produce that representation |
| 2020-12-10 16:04:57 | <tomsmeding> | but who am I, just an outsider :) |
| 2020-12-10 16:07:18 | × | berberman quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2020-12-10 16:07:20 | → | notis joins (~notis@185.51.134.229) |
| 2020-12-10 16:08:25 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2020-12-10 16:11:42 | <Solid> | tomsmeding: I don't think this is commonly needed (though I also think an `unTYPE` field on a newtype never hurts ;), it's just used here to hack around a different kind of hackery :> |
| 2020-12-10 16:13:22 | × | berberman quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2020-12-10 16:26:00 | → | growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 2020-12-10 16:27:04 | <tomsmeding> | :D |
| 2020-12-10 16:36:54 | → | gspe_ joins (~gspe@94-36-116-172.adsl-ull.clienti.tiscali.it) |
| 2020-12-10 16:40:56 | → | ChubaDub1 joins (~ChubaDuba@5.167.113.240) |
| 2020-12-10 16:44:06 | × | ChubaDuba quits (~ChubaDuba@176.212.38.115) (Ping timeout: 256 seconds) |
| 2020-12-10 16:44:17 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:e26e:cf9:1dd6:9615) (Ping timeout: 260 seconds) |
| 2020-12-10 16:53:10 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 2020-12-10 16:57:08 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:dfb:ab60:926e:6731) |
| 2020-12-10 17:02:43 | → | malook joins (~Thunderbi@5.82.52.68) |
| 2020-12-10 17:06:04 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 2020-12-10 17:22:59 | → | rabliatu joins (~quassel@107.158.96.75) |
| 2020-12-10 17:24:17 | → | nova joins (~novasenco@gateway/tor-sasl/novasenco) |
| 2020-12-10 17:48:01 | → | abhixec joins (~abhixec@c-67-169-141-95.hsd1.ca.comcast.net) |
| 2020-12-10 18:03:49 | × | daphnis_ quits (~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 264 seconds) |
| 2020-12-10 18:03:49 | × | daphnis quits (~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 264 seconds) |
| 2020-12-10 18:05:47 | × | nova quits (~novasenco@gateway/tor-sasl/novasenco) (Quit: nova) |
| 2020-12-10 18:17:56 | → | daphnis_ joins (~daphnis@cm-84.214.179.98.getinternet.no) |
| 2020-12-10 18:17:57 | → | daphnis joins (~daphnis@cm-84.214.179.98.getinternet.no) |
| 2020-12-10 18:50:25 | → | cyr4x3 joins (~ricard@139.47.121.51) |
| 2020-12-10 18:50:47 | × | cyr4x3 quits (~ricard@139.47.121.51) (Client Quit) |
| 2020-12-10 19:05:43 | × | daphnis_ quits (~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 260 seconds) |
| 2020-12-10 19:06:19 | × | daphnis quits (~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 260 seconds) |
| 2020-12-10 19:13:50 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds) |
| 2020-12-10 19:14:11 | → | daphnis joins (~daphnis@cm-84.214.179.98.getinternet.no) |
| 2020-12-10 19:14:11 | → | daphnis_ joins (~daphnis@cm-84.214.179.98.getinternet.no) |
| 2020-12-10 19:17:25 | × | Filipinos quits (~ChanServ@190.6.204.67) (Ping timeout: 246 seconds) |
| 2020-12-10 19:31:32 | ← | adder parts (~adder@unaffiliated/adder) ("Leaving") |
| 2020-12-10 19:32:25 | → | nova joins (~novasenco@gateway/tor-sasl/novasenco) |
| 2020-12-10 19:33:01 | <nova> | referring to xmobar docs, "--on", "--off", "--onc", and "--offc" .. all say "unrecognized option". Is this because I am using an older xmobar or something? It's from arch |
| 2020-12-10 19:33:14 | <nova> | for Volume |
| 2020-12-10 19:34:51 | <Solid> | nova: these seems to be monitor specific strings, i.e. they have to come aber a "--" |
| 2020-12-10 19:35:28 | → | sagax joins (~sagax_nb@213.138.71.146) |
| 2020-12-10 19:35:34 | <Solid> | ["--template", "...", "--", "--offc" "colour"] |
| 2020-12-10 19:35:49 | <nova> | you've done me a solid. 'preciate it |
| 2020-12-10 19:35:58 | <Solid> | :) |
| 2020-12-10 19:38:05 | × | daphnis_ quits (~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 240 seconds) |
| 2020-12-10 19:38:05 | × | daphnis quits (~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 240 seconds) |
| 2020-12-10 19:38:18 | <Solid> | the documentation could be a bit more specific there |
| 2020-12-10 19:39:02 | <Solid> | good thing I'm currently in the process of updating the docs anyways :> |
| 2020-12-10 19:40:39 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 2020-12-10 19:46:41 | → | ybenel joins (~Mandalore@unaffiliated/ybenel) |
| 2020-12-10 19:50:17 | <nova> | Solid, in other status bars, I have seen ability to send a signal to update part of the status bar. I wouldn't suppose that would be possible here? |
| 2020-12-10 19:51:11 | <nova> | looks like SIGUSR1 and SIGUSR2 are hard-coded to change to the next / previous screen? |
| 2020-12-10 19:52:51 | <Solid> | SIGUSR1 moves to the next screen and SIGUSR2 repositions xmobar on the current screen (according to the docs, not tested) |
| 2020-12-10 19:53:24 | <Solid> | nova: I don't think forcing a refresh is possible atm; it's a feature I've wanted myself a few times but I, so far, haven't looked into implementing it |
| 2020-12-10 19:55:00 | → | |\|_[]_\|_|\ joins (~novasenco@gateway/tor-sasl/novasenco) |
| 2020-12-10 19:55:09 | nova | is now known as Guest93071 |
| 2020-12-10 19:55:09 | |\|_[]_\|_|\ | is now known as nova |
| 2020-12-10 19:56:43 | × | Guest93071 quits (~novasenco@gateway/tor-sasl/novasenco) (Ping timeout: 240 seconds) |
| 2020-12-10 19:59:12 | <nova> | sorry I got d/c'd. May have missed messages |
| 2020-12-10 19:59:23 | <nova> | “in other status bars, I have seen ability to send a signal to update part of the status bar. I wouldn't suppose that would be possible here?” |
| 2020-12-10 19:59:27 | × | abhixec quits (~abhixec@c-67-169-141-95.hsd1.ca.comcast.net) (Quit: leaving) |
| 2020-12-10 19:59:28 | <nova> | “looks like SIGUSR1 and SIGUSR2 are hard-coded to change to the next / previous screen?” |
| 2020-12-10 20:00:12 | <geekosaur> | Solid 14:52:50SIGUSR1 moves to the next screen and SIGUSR2 repositions xmobar on the current screen (according to the docs, not tested)nova: I don't think forcing a refresh is possible atm; it's a feature I've wanted myself a few times but I, so far, haven't looked into implementing it |
| 2020-12-10 20:00:34 | <geekosaur> | yug, that cut and pasted badly |
| 2020-12-10 20:00:53 | <nova> | thx |
| 2020-12-10 20:01:28 | × | malook quits (~Thunderbi@5.82.52.68) (Quit: malook) |
| 2020-12-10 20:01:58 | <Solid> | nova: there's now a bot that logs this channel! check the /topic for the URL |
| 2020-12-10 20:07:27 | × | wonko7 quits (~wonko7@2a01:e35:2ffb:7040:14a1:46f4:68f7:2133) (Ping timeout: 272 seconds) |
| 2020-12-10 20:23:45 | → | wonko7 joins (~wonko7@lns-bzn-55-82-255-183-4.adsl.proxad.net) |
| 2020-12-10 20:25:20 | <Liskni_si> | nova: why do you need to refresh something manually? because of the rate or because it's not refreshing even though it should? |
| 2020-12-10 20:28:30 | <nova> | Liskni_si, tl;dr, I press Super+Ctrl+k to increase volume 5%, and xmobar lags (at most 1 second because of the timeout I put on it). However, other statusbars have ability to communicate via signals or rpc or something (never actually seen that but that might be nice) to say "hey, update a section". |
| 2020-12-10 20:29:27 | <nova> | Also, quick question, do you all change volume with haskell in xmonad.hs? I use this vol script I made: https://gitlab.com/dylnmc/dotfiles/-/blob/master/scripts/vol eg, I use `vol -qi`, `vol -qd` and `vold -qt` to increase 5%, decrease 5%, and toggle mute. |
All times are in UTC.