Newest at the top
| 2025-02-26 19:10:02 +0100 | <hseg> | https://hackage.haskell.org/package/terminal-size appears to be the most recent package supporting this, and it supports windows! |
| 2025-02-26 19:09:45 +0100 | <hseg> | People on #linux recommended using the TIOCGWINSZ ioctl as a fallback instead |
| 2025-02-26 19:09:15 +0100 | <hseg> | Was going to just catch and work with TERM=dumb, but was worrying that was standards-incorrect |
| 2025-02-26 19:08:36 +0100 | <haskellbridge> | <sm> Are you considering something more fancy than just catching the setupTermFromEnv error ? |
| 2025-02-26 19:07:55 +0100 | <haskellbridge> | <sm> Thanks for looking at that @hseg. I don't know the answer, but it would need to be installable on windows also to avoid complicating packaging. |
| 2025-02-26 19:07:23 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-26 19:06:48 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-26 19:04:51 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-02-26 19:03:13 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-26 19:01:02 +0100 | <hseg> | I'm working on https://github.com/simonmichael/hledger/issues/2332, and the folks at #linux tell me the correct fallback to a missing terminfo entry in my case is to explicitly call ioctl. Other than https://hackage.haskell.org/package/ioctl which seems pretty much abandoned, is there another package wrapping the ioctl system call? |
| 2025-02-26 18:59:06 +0100 | hseg | (~gesh@46.120.20.40) hseg |
| 2025-02-26 18:57:46 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-02-26 18:53:00 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f80fcc6edffa39079b3.dip0.t-ipconnect.de) |
| 2025-02-26 18:52:24 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f8040a776c2da6f4573.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-02-26 18:48:57 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-26 18:48:20 +0100 | zungi | (~tory@user/andrewchawk) (Remote host closed the connection) |
| 2025-02-26 18:47:19 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) (Client Quit) |
| 2025-02-26 18:46:12 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-02-26 18:40:33 +0100 | ephilalethes | (~noumenon@2001:d08:1a00:bc0:aa7e:eaff:fede:ff94) (Quit: Leaving) |
| 2025-02-26 18:40:24 +0100 | florida | (~florida@2a02:ab88:7200:6a00:762b:62ff:fe83:1a1b) (Quit: Leaving) |
| 2025-02-26 18:38:22 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-02-26 18:37:31 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-02-26 18:28:43 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-02-26 18:25:49 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-02-26 18:21:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-26 18:21:28 +0100 | califax_ | califax |
| 2025-02-26 18:20:36 +0100 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2025-02-26 18:20:16 +0100 | califax_ | (~califax@user/califx) califx |
| 2025-02-26 18:19:54 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-26 18:18:12 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-02-26 18:17:28 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-26 18:16:51 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-02-26 18:11:12 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 246 seconds) |
| 2025-02-26 18:05:04 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-02-26 18:01:54 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-02-26 18:01:33 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-02-26 17:56:37 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-02-26 17:54:46 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 272 seconds) |
| 2025-02-26 17:48:24 +0100 | florida | (~florida@2a02:ab88:7200:6a00:762b:62ff:fe83:1a1b) |
| 2025-02-26 17:43:57 +0100 | Digitteknohippie | Digit |
| 2025-02-26 17:43:29 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-02-26 17:42:14 +0100 | Square | (~Square@user/square) Square |
| 2025-02-26 17:40:48 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-02-26 17:40:11 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-02-26 17:37:20 +0100 | alp | (~alp@2001:861:8ca0:4940:b08e:d43c:4f53:7730) |
| 2025-02-26 17:35:41 +0100 | jespada | (~jespada@2800:a4:230f:300:5891:d568:1db3:6726) jespada |
| 2025-02-26 17:35:14 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f8040a776c2da6f4573.dip0.t-ipconnect.de) acidjnk |
| 2025-02-26 17:35:08 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-26 17:33:23 +0100 | tomsmeding | would prefer a symbol other than `->' for a partial function |
| 2025-02-26 17:32:43 +0100 | <ski> | and then you meant to claim that the partial function `g : Y -> X' was total on this subset of `Y' (which can be written `Img(f)', or `f[X]', or `exists_f X') |