wget -qO- http://packages.riscosopen.org/RISC-OS_Pico.zip | bsdtar -xvf- -C /media/riscospico/
Detta laddar ner och packar upp zip-filen på ett SD-kort anslutet via en adapter. Notera att SD-kortet i mitt fall heter /media/… men troligen heter något annat hos dig.

Om SD-kortet inte redan är formaterat så gör detta först:
sudo fdisk -l
För att hitta rätt enhet genom att t.ex. känna igen den på storleken.

Obs! Byt ut sde mot rätt enhet.
umount /dev/sde
sudo mkdosfs -n riscospico -F 32 -I /dev/sde
I mitt fall tog jag ut USB-adaptern och satte in den igen för att montera den.