https://www.raspberrypi.org/
https://www.raspberrypi.org/blog/tag/home-automation/
Install raspberry pie software (OS )
1) Download the .iso image https://www.raspberrypi.org/downloads/raspbian/
2) install etcher and use it to burn a bootable sd card
downlaod the tool (ethcer) from https://etcher.io/
https://howchoo.com/g/ndg2mtbmnmn/how-to-install-raspbian-stretch-on-the-raspberry-pi
3) insert th esdcard to your rapberry pie and reboot.
4) operation on rasberry pie
in office may need to setup the proxy
In raspberry commander
>sudo nano /etc/apt/apt.conf.d/proxy
type
Acquire::http::Proxy http://proxy.cse.cuhk.edu.hk:8000;
Acquire::https::Proxy https://proxy.cse.cuhk.edu.hk:8000;
May need reboot