search

oils-for-unix / oils

Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!
http://www.oilshell.org/
Other
2.84k stars 156 forks source link

idea: control remote bash ? #908

Open andychu opened 3 years ago

andychu commented 3 years ago

Something like this has crossed my mind to solve the "installation problem" , but I don't know enough about terminals to judge how easy or hard it is:

We could use pseudo pty’s to drive a remote bash through transpilation of a local shell if we wanted to fix that problem. It’s not unpossible.

https://news.ycombinator.com/item?id=26284294

Input from people who know about terminals is welcome...

Related to #738 -- shell as an engine for TUI or GUI.

andychu commented 3 years ago

It seems more likely that an GUI on the client machine could control multiple headless Oil processes on another machine, rather than using terminals via ssh.