Lyken17 / pi-tools

A repo includes some useful tools for raspberry pi farm setup. https://hub.docker.com/repository/docker/lyken/pi-tools

pi-tools

A repo includes some useful tools for raspberry pi farm setup

Change hostname

Referenced from Ubuntu 20.04 LTS change hostname permanently

1. sudo hostnamectl set-hostname <newNameHere>
2. sudo vim /etc/hosts
3. sudo reboot and check via hostnamectl.

Install docker on Pi4

Referenced from How To Install Docker and Docker-Compose On Raspberry Pi

1. sudo apt-get -y update && sudo apt-get -y upgrade
2. curl -sSL https://get.docker.com | sh
3. sudo usermod -aG docker ${USER}

Quickly launch tvm tracker on Pi4

BASE=lyken/pi-tools:pi4-v0.8.0-4c1b66f
sudo docker pull $BASE
sudo docker run -it --rm \
    --net host \
    $BASE \
    /bin/python3 -m tvm.exec.rpc_server --tracker=g1.mit.edu:9190 --key rasp4b