ajaxorg/cloud9 — pull request #2132 by lennartcl (2012-08-30 08:12:19+00:00)
Title: [Liskov] Make REPLs work with dash

Previously, `fix/repl` introduced some shell scripting to make the REPLs work with the console, but it would give non-fatal errors on a non-bash shell, like /bin/(da)sh on our Ubuntu EC2 instances. This removes all bashisms to ensure they work there too.

@ajaxorg/liskov