2020-12-05 00:10:50 +0100 | ericsagnes | (~ericsagne@2405:6580:0:5100:2a4b:4c53:e4dc:e61e) (Ping timeout: 264 seconds) |
2020-12-05 00:22:45 +0100 | ericsagnes | (~ericsagne@2405:6580:0:5100:cd57:3434:c0d0:b946) |
2020-12-05 01:25:14 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) (Ping timeout: 264 seconds) |
2020-12-05 01:46:03 +0100 | notis | (~notis@185.51.134.222) (Ping timeout: 260 seconds) |
2020-12-05 01:55:06 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) |
2020-12-05 02:14:31 +0100 | abhixec | (~abhixec@c-67-169-141-95.hsd1.ca.comcast.net) |
2020-12-05 02:15:40 +0100 | doct0rhu | (~orctarorg@pool-72-88-158-154.nwrknj.fios.verizon.net) |
2020-12-05 02:19:14 +0100 | byorgey | (~byorgey@155.138.238.211) (Ping timeout: 272 seconds) |
2020-12-05 02:28:37 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) (Ping timeout: 260 seconds) |
2020-12-05 03:22:45 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) |
2020-12-05 03:29:00 +0100 | seschwar | (~seschwar@unaffiliated/seschwar) (Quit: :wq) |
2020-12-05 03:40:43 +0100 | byorgey | (~byorgey@155.138.238.211) |
2020-12-05 04:03:33 +0100 | <sfrique> | i am able to create it, but can't use prompt, nor random string.. if anyone has an idea i would be glad |
2020-12-05 04:07:00 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) (Ping timeout: 244 seconds) |
2020-12-05 04:13:20 +0100 | dsal | (sid13060@gateway/web/irccloud.com/x-auonqazuemdkzyye) (*.net *.split) |
2020-12-05 04:13:20 +0100 | PotatoGim | (sid99505@gateway/web/irccloud.com/x-hlnasejbcjzegeqa) (*.net *.split) |
2020-12-05 04:13:29 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) |
2020-12-05 04:17:56 +0100 | Nahra | (~Nahra@unaffiliated/nahra) (Quit: leaving) |
2020-12-05 04:18:43 +0100 | dsal | (sid13060@gateway/web/irccloud.com/x-auonqazuemdkzyye) |
2020-12-05 04:18:43 +0100 | PotatoGim | (sid99505@gateway/web/irccloud.com/x-hlnasejbcjzegeqa) |
2020-12-05 04:22:57 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) (Ping timeout: 260 seconds) |
2020-12-05 04:27:06 +0100 | abhixec | (~abhixec@c-67-169-141-95.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
2020-12-05 04:29:38 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) |
2020-12-05 04:33:45 +0100 | theDon | (~td@94.134.91.27) (Ping timeout: 240 seconds) |
2020-12-05 04:35:53 +0100 | theDon | (~td@muedsl-82-207-238-039.citykom.de) |
2020-12-05 05:09:25 +0100 | byorgey | (~byorgey@155.138.238.211) (Ping timeout: 240 seconds) |
2020-12-05 05:26:15 +0100 | byorgey | (~byorgey@155.138.238.211) |
2020-12-05 05:41:01 +0100 | byorgey | (~byorgey@155.138.238.211) (Ping timeout: 264 seconds) |
2020-12-05 06:25:29 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) (Ping timeout: 244 seconds) |
2020-12-05 06:53:03 +0100 | novas0x2a | (~blah@157-131-125-210.fiber.dynamic.sonic.net) (Read error: Connection reset by peer) |
2020-12-05 06:53:40 +0100 | novas0x2a | (~blah@157-131-125-210.fiber.dynamic.sonic.net) |
2020-12-05 06:58:17 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) |
2020-12-05 07:04:50 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) (Ping timeout: 264 seconds) |
2020-12-05 07:13:35 +0100 | palo1 | (~weechat@c-base/crew/palo) |
2020-12-05 07:16:48 +0100 | palo | (~weechat@c-base/crew/palo) (Ping timeout: 260 seconds) |
2020-12-05 07:16:49 +0100 | palo1 | palo |
2020-12-05 07:25:04 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) |
2020-12-05 07:50:02 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) (Ping timeout: 260 seconds) |
2020-12-05 07:57:44 +0100 | dxld | (~dxld@rush.pub.dxld.at) (Quit: Bye) |
2020-12-05 08:00:23 +0100 | dxld | (~dxld@rush.pub.dxld.at) |
2020-12-05 08:03:08 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) |
2020-12-05 08:07:36 +0100 | byorgey | (~byorgey@155.138.238.211) |
2020-12-05 09:29:26 +0100 | growpotkin | (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in) |
2020-12-05 10:01:45 +0100 | malook | (~Thunderbi@5.109.206.38) |
2020-12-05 10:09:04 +0100 | thunderrd | (~thunderrd@183.182.110.8) (Remote host closed the connection) |
2020-12-05 10:10:08 +0100 | thunderrd | (~thunderrd@183.182.110.8) |
2020-12-05 10:25:12 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) (Ping timeout: 260 seconds) |
2020-12-05 10:30:12 +0100 | notis | (~notis@185.51.134.222) |
2020-12-05 11:00:13 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) |
2020-12-05 11:09:58 +0100 | malook | (~Thunderbi@5.109.206.38) (Ping timeout: 256 seconds) |
2020-12-05 11:10:07 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) (Ping timeout: 260 seconds) |
2020-12-05 11:10:13 +0100 | malook | (~Thunderbi@5.109.206.38) |
2020-12-05 11:21:25 +0100 | malook | (~Thunderbi@5.109.206.38) (Quit: malook) |
2020-12-05 11:41:14 +0100 | schweby | (~quassel@2a01:4f9:c010:97d5::1) |
2020-12-05 12:03:46 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) |
2020-12-05 12:52:59 +0100 | doct0rhu | (~orctarorg@pool-72-88-158-154.nwrknj.fios.verizon.net) (Ping timeout: 260 seconds) |
2020-12-05 12:54:01 +0100 | malook | (~Thunderbi@5.109.206.38) |
2020-12-05 12:57:31 +0100 | crab | (~crab@pitta.toroid.org) (Ping timeout: 272 seconds) |
2020-12-05 12:57:43 +0100 | crab | (~crab@pitta.toroid.org) |
2020-12-05 13:10:16 +0100 | notis | (~notis@185.51.134.222) (Ping timeout: 240 seconds) |
2020-12-05 13:23:07 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) (Ping timeout: 260 seconds) |
2020-12-05 13:23:53 +0100 | schweby | (~quassel@2a01:4f9:c010:97d5::1) (Quit: Das ist möglich, also tun wir es. Später.) |
2020-12-05 13:24:30 +0100 | schweby | (~quassel@2a01:4f9:c010:97d5::1) |
2020-12-05 13:26:56 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) |
2020-12-05 13:28:02 +0100 | malook | (~Thunderbi@5.109.206.38) (Quit: malook) |
2020-12-05 13:50:49 +0100 | geekosaur | (ac3a5454@172.58.84.84) |
2020-12-05 14:20:34 +0100 | seschwar | (~seschwar@unaffiliated/seschwar) |
2020-12-05 14:37:30 +0100 | dxld | (~dxld@rush.pub.dxld.at) (Quit: Bye) |
2020-12-05 14:38:10 +0100 | dxld | (~dxld@rush.pub.dxld.at) |
2020-12-05 15:00:27 +0100 | isgy | (~jy@82.38.116.187) |
2020-12-05 15:18:21 +0100 | notis | (~notis@185.51.134.222) |
2020-12-05 15:40:46 +0100 | daphnis | (~daphnis@cm-84.214.179.98.getinternet.no) |
2020-12-05 15:41:00 +0100 | <daphnis> | how do i combine two query bools? |
2020-12-05 15:41:27 +0100 | <geekosaur> | <&&> or <||> as appropriate |
2020-12-05 15:42:00 +0100 | <daphnis> | geekosaur: thanks! |
2020-12-05 15:50:17 +0100 | geekosaur | (ac3a5454@172.58.84.84) (Remote host closed the connection) |
2020-12-05 16:26:37 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) (Ping timeout: 260 seconds) |
2020-12-05 16:40:42 +0100 | <daphnis> | what are the ezconfig names for period and comma? |
2020-12-05 16:42:08 +0100 | <daphnis> | oh, just . and , |
2020-12-05 16:42:39 +0100 | daphnis | slaps daphnis around a bit with a large trout |
2020-12-05 16:46:16 +0100 | <daphnis> | what is `refresh' for? |
2020-12-05 16:51:04 +0100 | dxld | (~dxld@rush.pub.dxld.at) (Quit: Bye) |
2020-12-05 16:52:19 +0100 | dxld | (~dxld@rush.pub.dxld.at) |
2020-12-05 17:00:08 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) |
2020-12-05 17:31:23 +0100 | mc47 | (~yecinem@89.246.239.190) |
2020-12-05 17:44:18 +0100 | <Hash> | Good morning |
2020-12-05 17:44:33 +0100 | <Hash> | daphnis: they are all listed in the EZConfig doc |
2020-12-05 17:44:46 +0100 | <Hash> | https://hackage.haskell.org/package/xmonad-contrib-0.16/docs/XMonad-Util-EZConfig.html |
2020-12-05 17:44:48 +0100 | <Hash> | Bottom of apge |
2020-12-05 17:44:50 +0100 | <Hash> | pgae* |
2020-12-05 17:44:56 +0100 | <Hash> | Oh for fucks sake. |
2020-12-05 17:44:58 +0100 | <Hash> | Page* |
2020-12-05 17:45:21 +0100 | <Hash> | For me the trouble is Haskell and syntax etc. |
2020-12-05 17:45:28 +0100 | <Hash> | Otherwise Xmoand is brilliant |
2020-12-05 17:45:33 +0100 | <Hash> | It is brilliant anyway |
2020-12-05 17:45:41 +0100 | <Hash> | But for me I'm stupid so I have to work extra hard |
2020-12-05 17:49:12 +0100 | dxld | (~dxld@rush.pub.dxld.at) (Quit: Bye) |
2020-12-05 17:50:07 +0100 | dxld | (~dxld@rush.pub.dxld.at) |
2020-12-05 18:08:27 +0100 | <Solid> | ah, you'll be up to speed soon |
2020-12-05 18:08:32 +0100 | <Solid> | it's easier than it looks ;) |
2020-12-05 18:10:55 +0100 | <aldum> | it takes some getting used to |
2020-12-05 18:24:51 +0100 | geekosaur | (82659a09@host154-009.vpn.uakron.edu) |
2020-12-05 18:25:25 +0100 | <geekosaur> | if you ever have to use refresh, it's a bug. sadly, sometimes that bug is in your video driver |
2020-12-05 18:26:06 +0100 | <geekosaur> | (which happens a bit too often since they never test against window managers that use old-style borders or are non-reparenting, etc.) |
2020-12-05 18:26:50 +0100 | <geekosaur> | it just forces a re-layout of the screen. this "should" never be needed |
2020-12-05 18:42:24 +0100 | <daphnis> | geekosaur: ah, like c-l; then i can use that key for something else |
2020-12-05 19:04:20 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) (Ping timeout: 246 seconds) |
2020-12-05 19:07:11 +0100 | <daphnis> | /j awk |
2020-12-05 19:09:17 +0100 | ces | (~ces@fsf/member/ces) |
2020-12-05 19:30:56 +0100 | Rockj | (~rockj@2001:67c:550:feed::1) |
2020-12-05 19:48:49 +0100 | geekosaur | (82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds) |
2020-12-05 20:02:38 +0100 | notis | (~notis@185.51.134.222) (Ping timeout: 256 seconds) |
2020-12-05 20:03:02 +0100 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds) |
2020-12-05 20:03:19 +0100 | berberman | (~berberman@unaffiliated/berberman) |
2020-12-05 20:08:05 +0100 | geekosaur | (82659a09@host154-009.vpn.uakron.edu) |
2020-12-05 20:11:29 +0100 | Entertainment | (~entertain@104.246.132.210) |
2020-12-05 20:19:41 +0100 | Entertainment | (~entertain@104.246.132.210) () |
2020-12-05 20:21:31 +0100 | ces | (~ces@fsf/member/ces) (Quit: WeeChat 3.0) |
2020-12-05 20:21:58 +0100 | doct0rhu | (~orctarorg@pool-72-88-158-154.nwrknj.fios.verizon.net) |
2020-12-05 20:28:16 +0100 | Entertainment | (~entertain@104.246.132.210) |
2020-12-05 20:29:06 +0100 | <sfrique> | anyone can help me debug/figure out why my tall layout is opening the windows on horizontal split only? (like rows) |
2020-12-05 20:29:38 +0100 | <Entertainment> | When I log into an xmonad session using sddm, the sddm screen hangs. Do xmonad and sddm not get along? |
2020-12-05 20:30:11 +0100 | idhugo | (~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) |
2020-12-05 20:30:58 +0100 | <Entertainment> | This is on arch linux, my xmonad.errrors file is empty. |
2020-12-05 20:32:18 +0100 | <geekosaur> | sounds like it's not finding xmonad for some reason |
2020-12-05 20:32:40 +0100 | <geekosaur> | arch has issues, but you'd have run into them well before this point. |
2020-12-05 20:32:46 +0100 | <Solid> | sfrique: sounds like you have too many master panes |
2020-12-05 20:36:08 +0100 | growpotkin | (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
2020-12-05 20:36:27 +0100 | <sfrique> | Solid, i thought of that, but i don't know how to verify the number, also the keybind to decrease doesn't seem to do anything |
2020-12-05 20:36:49 +0100 | <sfrique> | geekosaur, it works fine with my sddm |
2020-12-05 20:37:00 +0100 | <sfrique> | sorry, Entertainment * |
2020-12-05 20:38:24 +0100 | <Solid> | sfrique: try to reset the layouts with M-S-<Space> and see if that helps |
2020-12-05 20:39:00 +0100 | <Entertainment> | sfrique: Thanks for that. Now I know at least that it can work. |
2020-12-05 20:39:30 +0100 | <sfrique> | Solid, what is the name of the function to call? i already have this binding to something else |
2020-12-05 20:39:45 +0100 | <sfrique> | Entertainment, no problem! |
2020-12-05 20:40:01 +0100 | <aldum> | Entertainment: worked for me on Artix |
2020-12-05 20:45:00 +0100 | <sfrique> | Solid, i commented my keybind and let the default, and it worked! Thanks |
2020-12-05 20:45:27 +0100 | <Solid> | sfrique: npnp :) it probably was too many master panes then |
2020-12-05 20:45:47 +0100 | <sfrique> | yes, i am resarching an way to show that at xmobar |
2020-12-05 20:46:30 +0100 | <geekosaur> | the command you wanted, btw, was: setLayout $ XMonad.layoutHook conf |
2020-12-05 20:46:50 +0100 | <sfrique> | geekosaur, i found a config with that, but seemed weird haha thanks |
2020-12-05 20:48:19 +0100 | <geekosaur> | it is a bit weird |
2020-12-05 20:48:58 +0100 | <geekosaur> | if you change your layout without changing its type and then mod-q, xmonad doesn't know to apply the change so nothing happens. you need to hard reset the layout with something like that to force it. |
2020-12-05 20:50:49 +0100 | <sfrique> | i got a confit that there is a lot of keybindins that i don't know what to do, i am trying to figure out if i should learn them before hand and see if i would like it or just remove then and add as needed |
2020-12-05 20:52:07 +0100 | <Solid> | I would be wary of using other people's keybindings --- they might overwrite default keybindings that you didn't even know existed |
2020-12-05 20:52:46 +0100 | <sfrique> | they do override defaults (like this reset layout) =/ |
2020-12-05 20:52:48 +0100 | isgy | (~jy@82.38.116.187) (Quit: WeeChat 2.6) |
2020-12-05 20:52:52 +0100 | <sfrique> | that is why i am not sure hahaha |
2020-12-05 20:53:25 +0100 | idhugo | (~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Quit: Leaving) |
2020-12-05 21:01:08 +0100 | et09 | (~et09@unaffiliated/endolphin) |
2020-12-05 21:01:38 +0100 | <et09> | should i s/dmenu/rofi ? |
2020-12-05 21:02:02 +0100 | <sfrique> | i think rofi is way superior, but this is personal |
2020-12-05 21:02:14 +0100 | <et09> | i'm looking for a subjective opinion of course |
2020-12-05 21:02:14 +0100 | <sfrique> | superior i mean prettier haha |
2020-12-05 21:02:27 +0100 | <et09> | i've had dmenu for like 12 years but |
2020-12-05 21:02:29 +0100 | <et09> | yknow |
2020-12-05 21:02:52 +0100 | <sfrique> | i see, i didn't use dmenu, when straight to rofi |
2020-12-05 21:03:13 +0100 | <sfrique> | but i only use to start programs basically |
2020-12-05 21:03:28 +0100 | <sfrique> | if you have other workflows with dmenu, you need to check it |
2020-12-05 21:03:32 +0100 | <et09> | i don't |
2020-12-05 21:05:01 +0100 | <sfrique> | rofi -combi-modi "drun,window,run" -modi "run,drun,window,combi" -columns 2 -show combi -show-icons -drun-icon-theme "Papirus" |
2020-12-05 21:05:08 +0100 | <sfrique> | run this and see if you like it |
2020-12-05 21:05:22 +0100 | <sfrique> | this is basically what i use |
2020-12-05 21:05:39 +0100 | doct0rhu | (~orctarorg@pool-72-88-158-154.nwrknj.fios.verizon.net) (Quit: Leaving) |
2020-12-05 21:05:43 +0100 | <et09> | boy that is nice |
2020-12-05 21:06:03 +0100 | doct0rhu | (~orctarorg@pool-72-88-158-154.nwrknj.fios.verizon.net) |
2020-12-05 21:06:06 +0100 | <et09> | is this via safeSpawn? can you send me the line? |
2020-12-05 21:06:18 +0100 | <sfrique> | , ("M-d", spawn "rofi -combi-modi \"drun,window,run\" -modi \"run,drun,window,combi\" -columns 2 -show combi -show-icons -drun-icon-theme \"Papirus\"" ) |
2020-12-05 21:06:51 +0100 | <sfrique> | i am using xmonad for only a few days xD |
2020-12-05 21:06:52 +0100 | geekosaur | sees a bunch of pointless escaped quotes :) |
2020-12-05 21:07:12 +0100 | <geekosaur> | (the quotes aren't needed, therefore neither are the escapes) |
2020-12-05 21:07:13 +0100 | <sfrique> | geekosaur, how so? |
2020-12-05 21:07:20 +0100 | <sfrique> | i see |
2020-12-05 21:08:10 +0100 | <sfrique> | i thing i needed at i3 or something like it |
2020-12-05 21:08:13 +0100 | <geekosaur> | `drun,window,run` contains no characters special to the shell. same for the other two |
2020-12-05 21:08:35 +0100 | <et09> | ygot it : |
2020-12-05 21:08:50 +0100 | <geekosaur> | if you're going t quote them anyway then yes you need the escapes. I just don't see why they're quoted |
2020-12-05 21:09:08 +0100 | ces | (~ces@fsf/member/ces) |
2020-12-05 21:09:13 +0100 | <sfrique> | i will update my config |
2020-12-05 21:09:33 +0100 | <et09> | wow this is something |
2020-12-05 21:09:48 +0100 | <et09> | i had gmrun and um... (squints) |
2020-12-05 21:10:11 +0100 | <et09> | wth is catfish |
2020-12-05 21:10:45 +0100 | <sfrique> | it's time to add my xmonad to my dotfiles, it's kind of "stable" now i guess |
2020-12-05 21:11:46 +0100 | <et09> | idk i had some other dmenu-ish-but-gtk program with like |
2020-12-05 21:11:52 +0100 | <et09> | a huge white bg text display |
2020-12-05 21:11:55 +0100 | <Entertainment> | :sfrique Did you start with an something from the config archive? |
2020-12-05 21:11:59 +0100 | <et09> | essentially functioning like drun. i don't know what now |
2020-12-05 21:12:22 +0100 | <sfrique> | Entertainment, i don't know, i got it from a few places probably from a github somewhere |
2020-12-05 21:13:04 +0100 | <daphnis> | can i change the named-scratchpad indicator NSP or remove it using dynamicLogString? |
2020-12-05 21:14:57 +0100 | <sfrique> | geekosaur, since you know it all, doyou know how to use random strings on the config? and pass it like `("M-." , addWorkspace RandomString)` |
2020-12-05 21:15:39 +0100 | <sfrique> | it can be a range of numbers or anything, it's just to create a temporary workspace as i need it, i did this often on i3 =/ |
2020-12-05 21:17:34 +0100 | <geekosaur> | daphnis, take a look at http://hackage.haskell.org/package/xmonad-contrib-0.16/docs/XMonad-Util-NamedScratchpad.html#v:nam… |
2020-12-05 21:18:26 +0100 | Solid | now remembers that he wanted to write a generic filterOutWsPP |
2020-12-05 21:18:56 +0100 | <et09> | i still want a proper MouseResizableTile with floating and tiled decorations |
2020-12-05 21:19:03 +0100 | <et09> | and 3 columns |
2020-12-05 21:21:13 +0100 | <daphnis> | geekosaur: yeah, i didn't quite understand how to adapt that to dynamicLogString |
2020-12-05 21:21:34 +0100 | <geekosaur> | sfrique, the RNG interface in Haskell is … bewilderingly complete :) go look at the `random` package |
2020-12-05 21:22:15 +0100 | <geekosaur> | you're still using a PP somewhere, you just apply that function to the PP to have it remove NSP |
2020-12-05 21:22:54 +0100 | <sfrique> | geekosaur, i tried this but didn't work: https://stackoverflow.com/questions/8416365/generate-a-random-integer-in-a-range-in-haskell-withou… |
2020-12-05 21:24:24 +0100 | <sfrique> | https://paste.tomsmeding.com/WZWhbIcu |
2020-12-05 21:25:44 +0100 | <sfrique> | oohh i think i got it |
2020-12-05 21:25:51 +0100 | <sfrique> | let me see if i can cast literal to string |
2020-12-05 21:25:57 +0100 | <geekosaur> | nope |
2020-12-05 21:26:29 +0100 | <geekosaur> | io (randomRIO (1,100000)) >>= addWorkspace . show |
2020-12-05 21:27:48 +0100 | <sfrique> | didn't work the line you sent as well |
2020-12-05 21:28:44 +0100 | <geekosaur> | the `io` executes the RNG action in IO instead of X, `>>=` passes the result on, `show` converts the number to a String |
2020-12-05 21:28:58 +0100 | Entertainment | (~entertain@104.246.132.210) () |
2020-12-05 21:29:02 +0100 | <geekosaur> | what do you mean by "didn't work"? paste actual line and error? |
2020-12-05 21:30:08 +0100 | <sfrique> | let me run it again |
2020-12-05 21:32:14 +0100 | <sfrique> | https://paste.tomsmeding.com/pRfI8eNX |
2020-12-05 21:33:05 +0100 | <geekosaur> | heh. I did wonder how it was going to solve those… |
2020-12-05 21:33:52 +0100 | <sfrique> | i am thinking in executing a shell haha |
2020-12-05 21:35:14 +0100 | <geekosaur> | hm, actually that's acting just a bit pigheaded even for Haskell, it should have inferred Integer for all of those I think |
2020-12-05 21:35:52 +0100 | <geekosaur> | probably works in ghci and need -XExtendedDefaultRules, to avoid having to assign hard types everywhere |
2020-12-05 21:36:00 +0100 | <Solid> | the one time you need a monomorphism restriction :> |
2020-12-05 21:36:04 +0100 | <geekosaur> | but it might be sufficient to add just one type annotation |
2020-12-05 21:36:18 +0100 | <geekosaur> | io (randomRIO (1 :: Int,100000)) >>= addWorkspace . show |
2020-12-05 21:36:45 +0100 | By_JumperX4[m] | (byjumperx4@gateway/shell/matrix.org/x-menbqwuhbbtetpli) (Ping timeout: 240 seconds) |
2020-12-05 21:36:51 +0100 | <geekosaur> | shoukld cause everything else to be inferred as Int (or use Integer instead of Int) |
2020-12-05 21:36:54 +0100 | sm[m] | (simonmicma@gateway/shell/matrix.org/x-xomgnngasooluobu) (Ping timeout: 244 seconds) |
2020-12-05 21:36:58 +0100 | PotatoHatsue | (berbermanp@gateway/shell/matrix.org/x-znkywhldbhzbhgen) (Ping timeout: 246 seconds) |
2020-12-05 21:37:07 +0100 | psibi[m] | (psibimatri@gateway/shell/matrix.org/x-hybulqhkhyoqcykv) (Ping timeout: 240 seconds) |
2020-12-05 21:37:14 +0100 | CRTified[m] | (schnecfkru@gateway/shell/matrix.org/x-ofgzvldlqelcywuc) (Ping timeout: 264 seconds) |
2020-12-05 21:37:26 +0100 | <daphnis> | so how should i insert namedScratchpadFilterOutWorkspacesPP into myLogHook = dynamicLogString def { ... ? |
2020-12-05 21:37:31 +0100 | <geekosaur> | actually this is where I expect it to apply defaulting |
2020-12-05 21:37:32 +0100 | <sfrique> | it did work now |
2020-12-05 21:37:33 +0100 | rednaZ[m] | (r3dnazmatr@gateway/shell/matrix.org/x-nvfucrymxqacpiao) (Ping timeout: 260 seconds) |
2020-12-05 21:37:34 +0100 | <sfrique> | io (randomRIO (1 :: Int,100000)) >>= addWorkspace . show |
2020-12-05 21:38:22 +0100 | <geekosaur> | dynamicLogString (namedScratchpadFilterOutWorkspacesPP def { … }) |
2020-12-05 21:39:17 +0100 | psamim | (samimpmatr@gateway/shell/matrix.org/x-iwvzbluhzuztthuh) (Ping timeout: 260 seconds) |
2020-12-05 21:40:07 +0100 | <sfrique> | is there an way to list all workspaces? |
2020-12-05 21:40:39 +0100 | <sfrique> | cause i think i am adding it random, but not removing them, so i might get a hugde list of workspaces (just not showed ) |
2020-12-05 21:40:46 +0100 | <daphnis> | geekosaur: aha, thanks. i tried with $, but i suppose that didn't work because of the things after } |
2020-12-05 21:41:02 +0100 | <geekosaur> | right |
2020-12-05 21:41:26 +0100 | <geekosaur> | but also there's some special precedence stuff going on with that `def {…}` |
2020-12-05 21:42:50 +0100 | <sfrique> | yeah.. i just saw hidden workspaces, and there is a lot.. so my little hack is just creating a bunch of workspace and never removing them =/ |
2020-12-05 21:43:43 +0100 | <geekosaur> | well, yes, if it's just randomly numbering new workspaces they'll just keep building upuntil the RNG repeats :) |
2020-12-05 21:44:11 +0100 | <sfrique> | i will try to use this: removeEmptyWorkspaceAfterExcept to clean them |
2020-12-05 21:45:16 +0100 | ces | (~ces@fsf/member/ces) (Quit: WeeChat 3.0) |
2020-12-05 21:52:20 +0100 | <sfrique> | i am able to removed it, but will need some hacking |
2020-12-05 22:00:26 +0100 | <sfrique> | cool, now i was able to work, not preety.. but at least i can clean up my workspaces |
2020-12-05 22:02:02 +0100 | By_JumperX4[m] | (byjumperx4@gateway/shell/matrix.org/x-yjosxwdsozvadbij) |
2020-12-05 22:03:54 +0100 | CRTified[m] | (schnecfkru@gateway/shell/matrix.org/x-pojsifoicrnfbiru) |
2020-12-05 22:05:58 +0100 | sm[m] | (simonmicma@gateway/shell/matrix.org/x-pnthkezdxbpznobc) |
2020-12-05 22:06:05 +0100 | PotatoHatsue | (berbermanp@gateway/shell/matrix.org/x-pgpiepqlttziknti) |
2020-12-05 22:11:25 +0100 | rednaZ[m] | (r3dnazmatr@gateway/shell/matrix.org/x-ucrtzpurrvrdgbsf) |
2020-12-05 22:11:26 +0100 | psamim | (samimpmatr@gateway/shell/matrix.org/x-krmmfkjnfdrrbytd) |
2020-12-05 22:12:00 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
2020-12-05 22:13:22 +0100 | psibi[m] | (psibimatri@gateway/shell/matrix.org/x-fwlwdjhmyjruyuan) |
2020-12-05 22:14:13 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
2020-12-05 22:16:08 +0100 | notis | (~notis@185.51.134.222) |
2020-12-05 22:23:59 +0100 | dxld | (~dxld@rush.pub.dxld.at) (Quit: Bye) |
2020-12-05 22:27:08 +0100 | dxld | (~dxld@rush.pub.dxld.at) |
2020-12-05 22:32:35 +0100 | abhixec | (~abhixec@c-67-169-141-95.hsd1.ca.comcast.net) |
2020-12-05 22:39:12 +0100 | geekosaur | (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection) |
2020-12-05 22:51:44 +0100 | et09 | (~et09@unaffiliated/endolphin) (Ping timeout: 256 seconds) |
2020-12-05 23:40:48 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
2020-12-05 23:41:27 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
2020-12-05 23:52:39 +0100 | mc47 | (~yecinem@89.246.239.190) (Quit: Leaving) |