How-to guide

DIY editing

You will edit a card's settings by hand, with any text editor.

This page only applies when you deploy to an SD-card device.

The card’s boot partition is labeled atfs-boot. It is plain FAT32, so it mounts on Mac, Windows, and Linux like any USB stick. No special software is needed.

  1. Insert the SD card into your computer.
  2. Open the atfs-boot partition in your file manager.
  3. Open the config/ folder.
  4. Open config/env/ for the operational settings: ATFS_OWNER_DID, ATFS_DATA_DIR, ATFS_IDENTITY_KEY, and ATFS_FORMAT_DRIVES_IF_NOT_ATFS.
  5. Open a setting’s file in any text editor.
  6. Type the value and save the file.
  7. Repeat for each setting you need to change.

Each setting file sits beside its own .explain.md file. That file is the only documentation a card holder ever sees for that setting. Read it before you type a value.

Eject the card safely. Insert it into your board.

Note

There is a Docker equivalent — see Required settings.