https://github.com/tendermint/devdoc
Docker environment for development
https://github.com/tendermint/devdoc
Last synced: 12 months ago
JSON representation
Docker environment for development
- Host: GitHub
- URL: https://github.com/tendermint/devdoc
- Owner: tendermint
- Created: 2017-12-25T03:15:34.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2020-05-07T07:00:11.000Z (about 6 years ago)
- Last Synced: 2025-05-22T22:41:01.592Z (about 1 year ago)
- Language: Makefile
- Size: 5.86 KB
- Stars: 3
- Watchers: 8
- Forks: 4
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
When you first get a bare machine with git, build essentials, and docker, run:
```bash
git clone https://github.com/tendermint/devdoc.git
cd devdoc
```
If you have make:
```bash
make docker_build
make docker_init
make docker
```
Else if you don't have make:
```bash
docker build -t "devdoc" -f Dockerfile .
docker run -it "devdoc" echo
docker commit `docker ps -a -n 1 -q` devdoc:latest
./docker_bash.sh
```
This will get you a bare development environment.
Modify `Makefile` or `docker_bash.sh` file appropriately.