Hm, by the looks of it, babun is just a preconfigured shell? In that case, I'd just hook babun into cmder. Cmder Is just a configurable shell host. I have a few

Hm, by the looks of it, babun is just a preconfigured shell? In that case, I'd just hook babun into cmder. Cmder Is just a configurable shell host. I have a few types configured. Cygwin, powershell, powershell as admin, cmd, cmd as admin, and Far manager. You can have as many tabs as you want of any type of shell. Quite a different tool.