deliciouslytyped

@jfdm @eraserhd

By the way, the first place any real processing is actually done on `-p` at the moment seems to be https://github.com/idris-lang/Idris-dev/blob/c5c8ede51742d03afc701e9fd854f979a5362550/src/Idris/Main.hs#L146 , namely `pkgdirs`. Further relevant code is: https://github.com/idris-lang/Idris-dev/blob/c5c8ede51742d03afc701e9fd854f979a5362550/src/Idris/Main.hs#L247 This...

Well, I don't know where the above gets me, but couldn't we just map `addPkgDir`over all the top level names everything in the search directory or somethng?

I suspected that, which is a shame. Hopefully the situation will improve. I don't know anything about addon development, is there an open issue on the mozilla tracker?

Are there possibly any other ways to do this? I don't know about tmux's security model, but forwarding sockets leaves me a bit uncomfortable. - or is that unwarranted?

Ok so there are (at least?) two ways to do this 1. wait for a "signal" (side-channel) from the inner session to change the tmux state 2. directly modify the...

Making this work also would/could allow assimilating existing (nested) tmux sessions? I've done some experiments trying to do that but I had some issues I don't understand yet.

Should we just try to get upstream to support nested tmux better by design? :P

This would be very useful for me.

I ran into a similar problem, i thought you have to run `go get` from `$PWD/src/..` (but normalized)