jakemarsden

Raspberry Pi initial setup

Initial setup of a Raspberry Pi, including moving the root file system to a mirrored volume outside the SD card.

Flash

1. Flash OS to SD card via Etcher
2. touch ssh on the boot partition

Initial config

jakemarsden

#!/usr/bin/env bash

# disable the annoying heartbeat LED (doesn't persist through a reboot)
echo none > /sys/class/leds/blue:heartbeat/trigger

jakemarsden

@echo off

set IFACE1_NAME=Ethernet
set IFACE2_NAME=Wi-Fi

:: See https://developers.cloudflare.com/1.1.1.1/ip-addresses
set DNS_PRIMARY=1.1.1.1
set DNS_SECONDARY=1.0.0.1

echo Interfaces:

jakemarsden

<NotepadPlus>
    <UserLang name="Gradle" ext="gradle">
        <Settings>
            <Global caseIgnored="yes" />
            <TreatAsSymbol comment="yes" commentLine="yes" />
            <Prefix words1="no" words2="no" words3="no" words4="no" />
        </Settings>
        <KeywordLists>
            <Keywords name="Delimiters">&quot;&apos;0&quot;&apos;0</Keywords>
            <Keywords name="Folder+"></Keywords>