That was our first shell we used for debugging before we had emscripten working. The shell currently used in the demo is dash, compiled with emscripten: https:

That was our first shell we used for debugging before we had emscripten working. The shell currently used in the demo is dash, compiled with emscripten: https://github.com/plasma-umass/browsix/blob/master/src/dash.js https://github.com/plasma-umass/browsix/blob/master/src/dash... Which ends up in the build through our gulpfile: https://github.com/plasma-umass/browsix/blob/master/gulpfile.js#L205 https://github.com/plasma-umass/browsix/blob/master/gulpfile...