A72-RPi

HW

• Attach the cables
• Attach an external disk (Note: This might get booted twice at every system start)

Setup OS

• Format an micro SD card to FAT (the preinstalled exFAT is possibly not recognized)
• Unzip the NOOBS installer

Configure OS

• Add your external disk to fstab (note the auto, nofail, exec flags):

 proc            /proc           proc    defaults          0       0
 /dev/mmcblk0p6  /boot           vfat    defaults          0       2
 /dev/mmcblk0p7  /               ext4    defaults,noatime  0       1
 UUID="47be...-350a-...9cfb"	/home/berrydisk	ext4 auto,nofail,noatime,rw,exec,user	0	3
 UUID="1941...-bf8d-...4476"	/var/berrydisk	ext4	auto,nofail,noatime,rw,user	0	3

• define users

 adduser <user> # adds a user and a group and a home directory
 adduser <user> sudo # adds an existing user to the group sudo
 deluser --remove-home <user> # deletes a user - do this for pi

• use the same user ids as on the other linuxes where you attach the external disks

• in /etc/passwd change the homedirectory of a user to /home/berrydisk/...

• Make user selectable at boot:

 sudo raspi-config

Installation of Packages

• Scanner

 sudo apt install simple-scan

• Install printer software

 sudo apt install cups
 sudo usermod -a -G lpadmin <user>

• Configure a printer at http://localhost:631/

• Development tools

 sudo apt install cmake gcc libgtk-3-dev libsqlite3-dev devscripts build-essential yamllint debsigs dblatex xmlto doxygen inkscape lcov

• Development IDEs

 sudo apt install kate code