daml/web-ide
Bolek@DigitalAsset 63960bfa85
webide: failing terminal (#1087)
* fail bash terminal by setting config to run bogus command
* one last fix for hiding terminal

Initially attempted to use external terminal with echo command but this
still opened an integrated terminal. Changing the terminal command from
/bin/bash to echo "No Terminal Available" crashes the integrated
terminal, which of course is better than having a working terminal!
2019-05-10 15:31:32 -04:00
..
ide-server webide: failing terminal (#1087) 2019-05-10 15:31:32 -04:00
proxy webide: failing terminal (#1087) 2019-05-10 15:31:32 -04:00
.gitignore web-ide: clean up / refactor (#421) 2019-04-12 15:01:55 +00:00
README.md web ide: secure docker containers through networks (#304) 2019-04-08 19:31:13 +00:00

DAML WEB IDE

This is a project for managing multi user web ide. The main components are

  • daml web ide docker image: this hosts a web ide code-server bundled with the sdk
  • proxy server and image: this manages multiple daml web ide docker containers and proxies requests into them

Further details can be found in proxy/README.md and ide-server/README.md