Skip to content

Instantly share code, notes, and snippets.

@aranajhonny
Last active May 24, 2017 04:56
Show Gist options
  • Save aranajhonny/0504760943d1d56c73e43eac2099863e to your computer and use it in GitHub Desktop.
Save aranajhonny/0504760943d1d56c73e43eac2099863e to your computer and use it in GitHub Desktop.
// Base linux is Alpine.
FROM webide/webide
EXPOSE 8080
WORKDIR /root
CMD ["java", "-jar", "ide-backend.jar", "--PTY_LIB_FOLDER=/root/lib"]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment