Logs: freenode/#haskell
| 2020-11-08 18:58:04 | → | dcoutts__ joins (~duncan@33.14.75.194.dyn.plus.net) |
| 2020-11-08 18:58:50 | × | samebchase- quits (~samebchas@51.15.68.182) (Quit: Ping timeout (120 seconds)) |
| 2020-11-08 18:59:18 | → | samebchase- joins (~samebchas@51.15.68.182) |
| 2020-11-08 18:59:43 | × | jb55 quits (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 240 seconds) |
| 2020-11-08 19:00:41 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 2020-11-08 19:00:48 | × | dcoutts quits (~duncan@unaffiliated/dcoutts) (Ping timeout: 256 seconds) |
| 2020-11-08 19:03:24 | <wz1000> | Is there any canonical way to read/write a file and simultaneously get its modification time? |
| 2020-11-08 19:03:28 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2020-11-08 19:03:41 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 244 seconds) |
| 2020-11-08 19:03:55 | <davean> | wz1000: simultaneously? |
| 2020-11-08 19:04:02 | × | juuandyy quits (~juuandyy@90.166.144.65) (Ping timeout: 265 seconds) |
| 2020-11-08 19:04:05 | <davean> | Thats not something you can do on POSIX, they're seperate calls. |
| 2020-11-08 19:04:13 | <wz1000> | after the operation has completed, but atomically |
| 2020-11-08 19:04:16 | <geekosaur> | that'd have to be a system call and neither unix nor windows offers such |
| 2020-11-08 19:04:26 | <davean> | Right |
| 2020-11-08 19:04:37 | <davean> | well, you can do it on linux or FreeBSD with ZFS |
| 2020-11-08 19:04:46 | <davean> | but that involves special kernel extensions |
| 2020-11-08 19:04:54 | <davean> | not at *all* a portable or standard thing. |
| 2020-11-08 19:04:58 | → | comerijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-08 19:05:13 | × | Ariakenom quits (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se) (Read error: Connection reset by peer) |
| 2020-11-08 19:05:26 | <davean> | And they can only do it via transactional filesystemness. |
| 2020-11-08 19:05:34 | → | Ariakenom joins (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se) |
| 2020-11-08 19:05:44 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2020-11-08 19:06:03 | <davean> | Are you willing to cosplay a kernel developer? No? You can't have that. |
| 2020-11-08 19:06:23 | <Ariakenom> | filesystems have terrible semantics. race conditions everywhere |
| 2020-11-08 19:07:24 | × | bergsans quits (~bergsans@c80-217-8-29.bredband.comhem.se) (Quit: leaving) |
| 2020-11-08 19:07:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2020-11-08 19:08:51 | <Ariakenom> | the common approach is to ignore them |
| 2020-11-08 19:09:21 | × | tv quits (~tv@unaffiliated/tv) (Ping timeout: 265 seconds) |
| 2020-11-08 19:09:25 | × | Rudd0 quits (~Rudd0@185.189.115.98) (Ping timeout: 240 seconds) |
| 2020-11-08 19:10:20 | → | Tene joins (~tene@poipu/supporter/slacker/tene) |
| 2020-11-08 19:13:22 | → | mirrorbird joins (~psutcliff@141.98.255.153) |
| 2020-11-08 19:15:29 | → | mirrorbird_ joins (~psutcliff@141.98.255.153) |
| 2020-11-08 19:16:01 | → | tv joins (~tv@unaffiliated/tv) |
| 2020-11-08 19:17:47 | × | JuanMiguel quits (~juanmi@85.red-79-146-201.dynamicip.rima-tde.net) (Quit: This computer has gone to sleep) |
| 2020-11-08 19:18:05 | × | tristanC quits (~tristanC@unaffiliated/tristanc) (Ping timeout: 246 seconds) |
| 2020-11-08 19:18:19 | × | mirrorbird quits (~psutcliff@141.98.255.153) (Read error: Connection reset by peer) |
| 2020-11-08 19:18:28 | × | alp quits (~alp@88.126.45.36) (Ping timeout: 260 seconds) |
| 2020-11-08 19:18:31 | <davean> | Ok, so you can do it on Linux and FreeBSD via ZFS Transaction Groups, you can do it on Linux via FANotify with root permissions, you can do it on linux with user permissions and inotify if you believe inotify won't drop any events which isn't guarrenteed, you can do it on Windows Post-Vista via NTFS transactions (Much weaker than ZFS transaction groups?), you can do it on ext3+ with journaling by |
| 2020-11-08 19:18:33 | <davean> | hooking the journal kernel side ... Its not that you can't do it, its that its insane to do it given the fact that all the ways of doing it are super special case. |
| 2020-11-08 19:18:33 | → | tristanC joins (~tristanC@unaffiliated/tristanc) |
| 2020-11-08 19:18:53 | <davean> | and it certainly isn't a Haskell question to get it done! If you want to get this done, get involved with the OS you're on. |
| 2020-11-08 19:19:46 | <davean> | https://www.kernel.org/doc/html/latest/filesystems/journalling.html |
| 2020-11-08 19:19:48 | <davean> | don |
| 2020-11-08 19:19:53 | × | Benzi-Junior quits (~BenziJuni@88-149-67-198.du.xdsl.is) (Quit: gone) |
| 2020-11-08 19:19:56 | <davean> | 't worry, it starts out with "The journalling layer is easy to use. |
| 2020-11-08 19:20:01 | <davean> | " you'll be fine ;) |
| 2020-11-08 19:20:20 | → | Benzi-Junior joins (~BenziJuni@dsl-149-67-198.hive.is) |
| 2020-11-08 19:20:54 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds) |
| 2020-11-08 19:22:11 | × | nbloomf quits (~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-08 19:24:09 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-08 19:25:40 | → | juuandyy joins (~juuandyy@90.166.144.65) |
| 2020-11-08 19:27:05 | → | tsaka__ joins (~torstein@ppp-2-84-22-81.home.otenet.gr) |
| 2020-11-08 19:27:33 | → | theelous3 joins (~theelous3@unaffiliated/theelous3) |
| 2020-11-08 19:28:28 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) |
| 2020-11-08 19:28:38 | × | todda7 quits (~torstein@athedsl-195794.home.otenet.gr) (Ping timeout: 260 seconds) |
| 2020-11-08 19:29:10 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 2020-11-08 19:33:52 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 260 seconds) |
| 2020-11-08 19:35:27 | → | lambdabot joins (~lambdabot@silicon.int-e.eu) |
| 2020-11-08 19:35:27 | × | lambdabot quits (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2020-11-08 19:35:27 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 2020-11-08 19:40:40 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 2020-11-08 19:41:15 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2020-11-08 19:41:15 | × | plakband quits (~plakband@softbank126126238105.bbtec.net) (Ping timeout: 256 seconds) |
| 2020-11-08 19:42:01 | × | tochicool quits (~tochicool@188.166.170.246) (Quit: Konversation terminated!) |
| 2020-11-08 19:42:07 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-08 19:45:03 | × | Franciman quits (~francesco@host-79-36-167-172.retail.telecomitalia.it) (Quit: Leaving) |
| 2020-11-08 19:45:34 | × | softwarm quits (4408f588@ip68-8-245-136.sd.sd.cox.net) (Remote host closed the connection) |
| 2020-11-08 19:45:52 | → | conal joins (~conal@64.71.133.70) |
| 2020-11-08 19:46:06 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 2020-11-08 19:46:43 | → | solonarv joins (~solonarv@astrasbourg-653-1-263-62.w92-161.abo.wanadoo.fr) |
| 2020-11-08 19:47:23 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2020-11-08 19:47:52 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-11-08 19:50:06 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 2020-11-08 19:50:13 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-08 19:50:22 | × | AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving) |
| 2020-11-08 19:51:20 | × | avdb quits (~avdb@ip-62-235-106-244.dsl.scarlet.be) (Quit: WeeChat 2.9) |
| 2020-11-08 19:54:29 | → | acidjnk_new2 joins (~acidjnk@p200300d0c718f646f97e112dfc4bc61a.dip0.t-ipconnect.de) |
| 2020-11-08 19:55:21 | → | daydaynatation joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2020-11-08 19:56:14 | × | daydaynatation quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2020-11-08 19:56:45 | × | dansho quits (~dansho@ip68-108-167-185.lv.lv.cox.net) (Quit: Leaving) |
| 2020-11-08 19:56:53 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2020-11-08 19:57:34 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2020-11-08 19:59:28 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-08 19:59:37 | → | knupfer joins (~Thunderbi@200116b82ca87300f4287afffefe7b84.dip.versatel-1u1.de) |
| 2020-11-08 20:00:46 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-08 20:02:01 | × | knupfer quits (~Thunderbi@200116b82ca87300f4287afffefe7b84.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2020-11-08 20:02:14 | → | knupfer joins (~Thunderbi@200116b82ca873006553a4cb31e66e25.dip.versatel-1u1.de) |
| 2020-11-08 20:02:25 | → | sfvm joins (~sfvm@37.228.215.148) |
| 2020-11-08 20:03:33 | × | dusty_pacer quits (~pi@2600:6c50:80:2f4a:e9d0:6569:1cea:d1d4) (Remote host closed the connection) |
| 2020-11-08 20:03:44 | → | dusty_pacer joins (~pi@2600:6c50:80:2f4a:e9d0:6569:1cea:d1d4) |
| 2020-11-08 20:03:44 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-11-08 20:05:33 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-08 20:08:03 | → | rprije joins (~rprije@124.148.131.132) |
| 2020-11-08 20:10:48 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) |
| 2020-11-08 20:11:57 | × | juuandyy quits (~juuandyy@90.166.144.65) (Read error: Connection reset by peer) |
| 2020-11-08 20:12:14 | → | juuandyy joins (~juuandyy@90.166.144.65) |
| 2020-11-08 20:13:25 | × | bliminse quits (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) (Ping timeout: 264 seconds) |
| 2020-11-08 20:14:08 | → | bliminse joins (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) |
| 2020-11-08 20:15:01 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 258 seconds) |
All times are in UTC.