Index of /

[ICO]NameLast modifiedSizeDescription

[TXT]README.txt2019-06-29 10:49 3.7K 
[DIR]quirks/2019-04-25 11:19 -  
[DIR]nonfree/2019-06-27 12:10 -  
[DIR]core/2019-06-27 12:24 -  

# Debian system images

These images contain base Debian systems for select hardware platforms.

Some images are provides also with non-free licensed parts included.
Please check legal risks before using those!


## Core installation

Download image to your pc:

        curl --remote-name http://box.redpill.dk/core/core-lime2-buster-1.0rc4.img.gz

Connect microSD card to pc, and locate its device path,
either, on linux, try this command:

        lsblk --paths --nodeps

...or, on macOS, try this command:

        ls /dev/rdisk?

Then compare output of above command with and without card plugged in
to not COMPLETELY OVERWRITE the wrong device below

Make sure card is (connected but) not mounted.
On linux, one way is to check that lsblk lists no mountpoint entry

Decompress and copy image onto card
(adjust image name and device path as needed):

        gunzip core-lime2-buster-1.0rc4.img.gz
        sudo cp core-lime2-buster-1.0rc4.img PATH_TO_YOUR_SDCARD

Move card to your box (while turned off), turn on, and log in,
either with screen and keyboard directly connected,
log in at prompt

...or via network from linux with avahi-utils,
after bootup (20-60 seconds) lookup hostname and login with ssh:

        avahi-browse --terminate _ssh._tcp
        ssh debian@HOSTNAME_LISTED_ABOVE.local

...or via network from macOS or Windows,
after bootup (20-60 seconds) locate hostname (press CTRL+c to stop) and login with ssh:

        dns-sd -B _ssh._tcp
        ssh debian@HOSTNAME_LISTED_ABOVE.local

Username is debian  
Password is insecure

Finalize setup of the system:

        sudo system-setup


## Network setup

System uses systemd for networking generally,
and IWD for wifi.

Connect to network,
either with ethernet (builtin or a USB dongle) just connect cable

...or with wifi, do something like this:

        iwctl station wlan0 get-networks
        iwctl station wlan0 connect SSID_LISTED_ABOVE

...or with broadband modem, do something like this:

        mmcli --modem=0 --simple-connect="apn=internet"

...or with ethernet needing fixed IP address, do something like
connect cable to primary plug
and run these commands:

        cp /etc/systemd/network/90-dhcp.network /etc/systemd/network/10-eth0.network
        nano /etc/systemd/network/10-eth0.network
        # Replace line "Name=..." with line "Name=eth0"
        # Replace line "DHCP=..." with lines "Address=" and "Gateway=..."
        # Quit nano with CTRL+x (and agree to save under suggested name)
        service systemd-networkd restart

Some included tools to check if networking works.

Show assigned IP numbers
(try both and pick the one that works best for you):

        networkctl show
        ip a

Show connectivity and latency towards a common public host:

        mtr --displaymode=2 1.1.1.1

Further info on using IWD: <https://wiki.archlinux.org/index.php/Iwd>


## Addons

System is quite minimal,
but ships with several optional addons
all starting with "box-add-".

As an example a (more complete) text-based user interface:

        sudo box-add-tui


## Source

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 <dr@jones.dk>  Tue 25 Jun 2019 12:16:58 AM CEST