Sign inSign up

jimmy1248/theia-rpi

By jimmy1248

Updated about 7 years ago

Theia, a web based ide for a Raspberry Pi

Image
0

1.4K

jimmy1248/theia-rpi repository overview

Theia Raspberry Pi Docker

An image to run Theia, a web based image on a Raspberry Pi using Docker. This image can also be used to build Theia for the Raspberry Pi armfh using an x86 machine.

Uses Node 10

Building Image

docker run --rm --privileged multiarch/qemu-user-static:register --reset docker build -t theia .

This can take a we while

Running

docker run -p 3000:3000 --name theia -v /home/pi/projects:/home/projects -d /dev/gpiomem theia

Building Theia

This image can be used to be used to build Theia so it can be copied to a Raspberry Pi

docker run --rm -it $(PWD):/theia yarn theia build docker run --rm -it $(PWD):/theia yarn theia build

https://git.1248.nz/robopi/Theia-rpi-docker

Tag summary

Content type

Image

Digest

Size

365.4 MB

Last updated

about 7 years ago

docker pull jimmy1248/theia-rpi