Conversation with #inferno at Tue Dec 4 21:20:50 2012 on powerman-asdf@irc.freenode.net (irc) (21:51:06) dreadlorde left the room (quit: ). (22:12:19) raphaelsc [~raphaelsc@187-127-91-224.user.veloxzone.com.br] entered the room. (22:24:38) raphaelsc left the room (quit: Quit: Leaving). (22:49:59) raphaelsc [~raphaelsc@187-127-91-224.user.veloxzone.com.br] entered the room. (23:23:45) dreadlorde [~dreadlord@35.16.35.52] entered the room. (23:27:04) josephholsten_ [~joseph@75-147-189-33-Washington.hfc.comcastbusiness.net] entered the room. (23:52:39) raphaelsc left the room (quit: Remote host closed the connection). (00:35:13) raphaelsc [~raphaelsc@187-127-91-224.user.veloxzone.com.br] entered the room. (00:52:04) dreadlorde left the room (quit: Ping timeout: 248 seconds). (01:16:50) josephholsten_ is now known as josephholsten (03:39:06) dreadlorde [dreadlorde@c-68-42-82-10.hsd1.mi.comcast.net] entered the room. (04:09:52) raphaelsc left the room (quit: Remote host closed the connection). (04:56:29) raphaelsc [~raphaelsc@187-127-91-224.user.veloxzone.com.br] entered the room. (05:59:14) raphaelsc left the room (quit: Remote host closed the connection). (06:40:37) rogpeppe1 [~rog@host-92-30-186-158.as13285.net] entered the room. (06:41:11) rogpeppe left the room (quit: Ping timeout: 260 seconds). (09:48:43) josephholsten left the room (quit: Quit: josephholsten). (10:15:17) Gegemon [~ynv@mx1.airis.ru] entered the room. (10:17:24) `jpi left the room (quit: Ping timeout: 248 seconds). (10:23:22) `jpi [~jpi@unaffiliated/pseud0cod3r] entered the room. (10:49:07) rogpeppe1 is now known as rogpeppe (11:31:54) dreadlorde left the room (quit: Ping timeout: 265 seconds). (14:52:36) Gegemon left the room (quit: Quit: Leaving.). (15:34:24) dreadlorde [~dreadlord@c-68-42-82-10.hsd1.mi.comcast.net] entered the room. (18:15:51) powerman-asdf: what's equivalent for /bin/true in inferno? (18:16:46) powerman-asdf: status without params (from sh-std)? (18:45:26) dreadlorde left the room (quit: Ping timeout: 276 seconds). (18:51:21) dreadlorde [dreadlorde@c-68-42-82-10.hsd1.mi.comcast.net] entered the room. (19:08:11) dreadlorde left the room (quit: Ping timeout: 245 seconds). (19:11:08) dreadlorde [dreadlorde@c-68-42-82-10.hsd1.mi.comcast.net] entered the room. (19:36:39) raphaelsc [~raphaelsc@187-127-110-123.user.veloxzone.com.br] entered the room. (19:50:30) josephholsten [~joseph@75-147-189-33-Washington.hfc.comcastbusiness.net] entered the room. (19:54:51) dreadlorde left the room (quit: Ping timeout: 245 seconds). (20:09:03) dreadlorde [dreadlorde@c-68-42-82-10.hsd1.mi.comcast.net] entered the room. (20:16:03) leetspete: powerman-asdf: I believe it's just {}. (20:16:42) powerman-asdf: not much more intuitive than status (20:17:09) leetspete: Well, 'true' being 'didn't fail', nothing can't fail. :) (20:18:06) powerman-asdf: actually true/false used mostly to _return_ exit status to caller (20:19:15) powerman-asdf: raise is obvious way to return false (20:19:20) powerman-asdf: status 'error here' too (20:20:27) leetspete: Just don't fail if you want to return true? (20:20:58) leetspete: I mean, you could do something like {~ true true} if you want to make it more explicit. (20:21:11) powerman-asdf: if { test … } { raise 'error' } (20:21:21) powerman-asdf: problem is, this construction always return false (20:21:31) powerman-asdf: either because of raise, or because of test failed (20:21:42) leetspete: if {test} {raise 'error'} {} (20:21:57) leetspete: or {! test} {raise 'error'} (20:23:33) powerman-asdf: second is better, of course. but in first case adding empty {} doesn't looks like "or return true", it just looks like weird redundant junk (20:23:56) powerman-asdf: especially when if blocks a multi-line (20:25:40) leetspete: Seems to be the idiom; Rog's paper uses it that way. (20:26:03) leetspete: true = {} (20:26:13) leetspete: if {test} {raise} $true (20:26:17) raphaelsc left the room (quit: Remote host closed the connection). (20:30:55) raphaelsc [~raphaelsc@187-127-110-123.user.veloxzone.com.br] entered the room. (20:30:57) powerman-asdf: is there way to stop mk from building targets twice when it's prereq modified by mk thus resulting in same mtime both for prereq and target on first mk run? (20:31:08) powerman-asdf: I mean, except by adding 'sleep 1' (20:32:02) powerman-asdf: for ex. mk do 1) generate man page from asciidoc 2) generate man INDEX using generated man page (20:32:19) powerman-asdf: in this case generated man page both a target and a prereq (20:32:42) powerman-asdf: and it will have same mtime as INDEX, thus resulting in regenerating INDEX once again on next mk run (20:33:26) leetspete: Oh, that's kinda ugly. Hm. (20:34:22) powerman-asdf: and I can't just make INDEX generation depend on asciidoc source, because man pages not always generated, looks like some people write them manually :) so INDEX should depend on man page source (troff) mtime (20:34:53) leetspete: Yeah, I see what you mean. (20:35:19) powerman-asdf: it probably no harm, just annoying (20:35:34) leetspete: Yeah. (20:36:08) leetspete: You could touch(1) the generated man pages? It seems like the test ought to be if one is newer, not newer or same time. (20:36:24) leetspete: Must be a reason for this. (20:36:42) powerman-asdf: touch won't change anything 'cos it was generated in this second and already have current time in mtime (20:38:13) leetspete: I mean, touch the man page to be asciidoc+1's mtime. (20:38:44) leetspete: It's kind of a lie, better than sleeping, though I guess. (20:40:37) leetspete: Is rebuilding INDEX very expensive? (20:41:25) powerman-asdf: depends on amount of man pages in dir. for few files it's fast (20:45:47) powerman-asdf: leetspete: unlike me, you love inferno sh… can you help me port INDEX rebuilding from perl to inferno sh? http://code.google.com/p/inferno-os/issues/detail?id=287 (20:46:36) powerman-asdf: I'm afraid even with help of sed it will be a monster comparing to perl :( (20:47:03) leetspete: :) (20:50:12) leetspete: Having a bit of trouble reading the Perl. Give me a sec... (20:50:27) leetspete: It's been a while for me with Perl... (20:56:15) The account has disconnected and you are no longer in this chat. You will automatically rejoin the chat when the account reconnects.