Index of /
# Debian system images
1) Download image:
curl --remote-name http://box.redpill.dk/core/core-lime2-1.0b14.img.gz
2) Locate device name of your microSD card:
* Maybe /dev/disk/by-id/my-sd-card (Linux, modern style)
* Maybe /dev/sdh or /dev/mmcblk7 (Linux, classic style)
* Maybe /dev/rdisk5 (Mac OSX)
* Try watch log files while plugging it in (hit CTRL+c to stop):
tail --follow /var/log/*.log
* Try check before and after card is plugged in that device changes:
file --special-files /dev/disk/by-id/my-sd-card
3) Make sure card is plugged in, but not mounted.
4) Decompress and copy image onto card:
a) Simple method: Do it as separate steps (adjust names as needed):
gunzip --keep core-lime2-1.0b14.img.gz
sudo cp core-lime2-1.0b14.img /dev/disk/by-id/my-sd-card
b) Fast method: Do it combined (adjust names as needed):
sudo sh -c 'zcat core-lime2-1.0b14.img.gz > /dev/disk/by-id/my-sd-card'
5) Connect card, ethernet and HDMI to box, then power, and login at prompt:
* Username: debian
* Password: insecure
6) Extend the system partition to use the whole disk:
7) Connect to network:
a) With wired network, plug in a USB ethernet device
b) With wifi on Debian 9 (Buster) or newer, do something like this:
iwctl station wlan0 get-networks
iwctl station wlan0 connect $SSID_from_above_list
c) With open wifi on Debian 8 (Stretch) or older, do something like this:
ip link set wlan0 up
iw dev wlan0 scan | less
iw dev wlan0 connect some_SSID_from_above_listed_as_open
d) With broadband modem, do something like this:
mmcli --modem=0 --simple-connect="apn=internet"
These binary images are built from Debian packages
and build routines written by Jonas Smedegaard.
The build routines,
available at <https://salsa.debian.org/tinker-team/box>,
are licensed under the GNU General Public License, version 3 or newer.
When this README file is accompagnied by binary installer images,
the following applies to satisfy license requirements:
I hereby offer to provide the source code
for the relevant Debian binary packages,
included in the installer, on request.
However, you will probably find it easier
to acquire these packages from the official Debian resources,
ftp.debian.org and/or snapshot.debian.org.
Jonas Smedegaard <email@example.com> Sat, 29 Dec 2018 02:52:29 +0100