Conversation with #inferno at Thu Jan 12 05:02:55 2012 on powerman-asdf@irc.freenode.net (irc)
(07:30:39) fgudin left the room (quit: Quit: Lost terminal).
(07:31:59) Gegemon [~ynv@mx1.airis.ru] entered the room.
(09:02:55) robot12 [~kazzhilki@proxy10.ts.fujitsu.com] entered the room.
(09:56:59) fgudin [~fgudin@odin.sdf-eu.org] entered the room.
(10:08:45) rog [rog@conference/canonical-sprint/x-ltkaqwqzsmvhynjl] entered the room.
(10:19:55) fgudin left the room (quit: Quit: Lost terminal).
(11:58:03) bvalek2 [8d271406@gateway/web/freenode/ip.141.39.20.6] entered the room.
(12:04:19) bvalek2 left the room (quit: Ping timeout: 258 seconds).
(12:08:16) bvalek2 [8d271406@gateway/web/freenode/ip.141.39.20.6] entered the room.
(12:10:21) bvalek2 left the room (quit: Client Quit).
(12:11:46) bvalek2 [8d271406@gateway/web/freenode/ip.141.39.20.6] entered the room.
(12:25:40) robot12 left the room (quit: Read error: Connection reset by peer).
(12:27:12) robot12 [~kazzhilki@proxy10.ts.fujitsu.com] entered the room.
(13:05:39) bvalek2 left the room (quit: Ping timeout: 258 seconds).
(13:08:08) bvalek2 [8d271406@gateway/web/freenode/ip.141.39.20.6] entered the room.
(13:16:37) bvalek2 left the room (quit: Quit: Page closed).
(13:16:58) bvalek2 [8d271406@gateway/web/freenode/ip.141.39.20.6] entered the room.
(13:27:07) bvalek2 left the room (quit: Ping timeout: 258 seconds).
(14:11:34) rog left the room (quit: Ping timeout: 248 seconds).
(14:16:21) bvalek2 [8d271406@gateway/web/freenode/ip.141.39.20.6] entered the room.
(14:29:14) bvalek2_ [8d271406@gateway/web/freenode/ip.141.39.20.6] entered the room.
(14:29:59) bvalek2 left the room (quit: Ping timeout: 258 seconds).
(14:30:04) bvalek2_ is now known as bvalek2
(15:08:20) fgudin [~fgudin@odin.sdf-eu.org] entered the room.
(15:09:42) rog [rog@conference/canonical-sprint/x-tnmhwkvbzzmdpgxg] entered the room.
(15:27:06) bvalek2 left the room (quit: Ping timeout: 258 seconds).
(15:32:31) bvalek2 [8d271406@gateway/web/freenode/ip.141.39.20.6] entered the room.
(15:49:19) Gegemon left the room (quit: Quit: Leaving.).
(16:10:28) bvalek2 left the room (quit: Quit: Page closed).
(16:22:30) robot12 left the room (quit: Quit: Leaving.).
(16:27:53) rog left the room (quit: Read error: Operation timed out).
(16:30:51) rog [rog@conference/canonical-sprint/x-scafbrbjdxshokwq] entered the room.
(16:33:04) bvalek2 [c3e41484@gateway/web/freenode/ip.195.228.20.132] entered the room.
(17:06:00) bvalek2 left the room (quit: Quit: Page closed).
(17:53:57) bvalek2 [c3e41484@gateway/web/freenode/ip.195.228.20.132] entered the room.
(18:44:31) bvalek2 left the room (quit: Ping timeout: 258 seconds).
(20:35:27) Fish [~Fish@9fans.fr] entered the room.
(20:54:42) bvalek2 [c3e41484@gateway/web/freenode/ip.195.228.20.132] entered the room.
(21:07:46) rog left the room (quit: Ping timeout: 244 seconds).
(21:54:39) bvalek2 left the room (quit: Ping timeout: 258 seconds).
(22:17:22) rog [rog@conference/canonical-sprint/x-wjilvyeqxctygstx] entered the room.
(22:24:59) rog left the room (quit: Ping timeout: 252 seconds).
(23:26:45) Aram [~Aram@unaffiliated/aramdune] entered the room.
(23:28:38) Aram: hmm... I wonder if I have an Inferno path, can I get the host path to the same file, provided it exists? I can muck around with /prog/n/ns, but it's complex, I wonder if it's an easier way I'm missing.
(23:32:45) vsrinivas: not easily.
(23:38:34) Aram: hmm.
(23:38:48) Aram: I'll try the hard way then :-).
(23:39:19) Aram: I want to wrap os to make it more useful. basically, I want to deduce the -d argument to os, if possible.
(23:40:10) Aram: for example if I want to run os make, that only makes sense if the working directory is right, I can run os -d something make, but it's ugly.
(23:40:27) Aram: so I try to deduce what the working directory should be.
(00:11:45) powerman-asdf: Aram: echo $emuroot ^ `{pwd}
(00:13:11) powerman-asdf: if you're inside some 'virtual' inferno path (generated with inferno's bind/mount), you anyway don't get right host os path for same dir
(00:13:27) powerman-asdf: if not - then simple $emuroot^`{pwd} should be enough
(00:14:34) Aram: yes, bind alters the namespace so the above method doesn't work.
(00:15:55) powerman-asdf: in general - not. but for `make`? if you wanna call host os `make`, then you're working on real, non-virtual files, in real dir. in this case this trivial method will work
(00:16:32) Aram: they are real files, yes, but they are not under inferno's root.
(00:16:55) powerman-asdf: '#U'?
(00:21:09) Aram: mount -c #|/data /n/C 
(00:21:19) Aram: and then I bind stuff from /n/C somewhere else
(00:22:53) powerman-asdf: Aram: actually I've configured build system for myself to work both from host os and inside emu. if you trying to implement similar thing, then it's strange you need to call `os make`. I've used mk and carefully crafted mkfiles, with trivial wrappers to run tests. no needs to use os command.
(00:23:39) Aram: I want to build go code which has it's own build system, for C code I use mk, either natively or under inferno.
(00:27:11) powerman-asdf: Aram: if you know host os path relative to directory where you started emu, then you can use $emuwdir
(00:30:34) powerman-asdf: anyway, '#|/data1' is just pipe to some file server, and while parsing ns file you can't know which file server serve this pipe and how it work; so at this point your attempt to resolve virtual path to real will fail
(01:37:37) sl left the room (quit: Read error: Connection reset by peer).
(01:55:27) sl [~sl@68.179.132.47] entered the room.
(02:26:59) Aram left the room (quit: Quit: .).
(03:01:42) vsrinivas left the room (quit: Ping timeout: 248 seconds).
(03:12:32) sl left the room (quit: Ping timeout: 244 seconds).
(03:13:32) sl [~sl@68.179.132.47] entered the room.
(05:17:50) The account has disconnected and you are no longer in this chat. You will be automatically rejoined in the chat when the account reconnects.