Goals: Add links that are reasonable and good explanations of how stuff works. No hype and no vendor content if possible. Practical first-hand accounts of models in prod eagerly sought.
ianmacs
/ rpi4.boot-from-sd-rootfs-on-usb.md
Last active
January 1, 2022 17:24
— forked from lucabelluccini/rpi4.boot-from-sd-rootfs-on-usb.md
Raspberry Pi 4 - Boot from SD, Rootfs on USB
-
Download Raspbian from the official site
-
Flash it to the USB drive following the procedure detailed here
-
Fomat an SD Card 2/4 GB as
FAT32,label "boot",flag "lba". Generate a UUID. You can use GParted for this task. -
Get the UUID of the USB drive and the SD Card partitions using
sudo blkid.
pirate
/ docker-compose-backup.sh
Last active
June 25, 2025 17:55
Backup a docker-compose project, including all images, named and unnamed volumes, container filesystems, config, logs, and databases.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env bash | |
| ### Bash Environment Setup | |
| # http://redsymbol.net/articles/unofficial-bash-strict-mode/ | |
| # https://www.gnu.org/software/bash/manual/html_node/The-Set-Builtin.html | |
| # set -o xtrace | |
| set -o errexit | |
| set -o errtrace | |
| set -o nounset | |
| set -o pipefail |
0xjac
/ private_fork.md
Last active
June 28, 2025 20:03
Create a private fork of a public repository
The repository for the assignment is public and Github does not allow the creation of private forks for public repositories.
The correct way of creating a private frok by duplicating the repo is documented here.
For this assignment the commands are:
- Create a bare clone of the repository.
(This is temporary and will be removed so just do it wherever.)
git clone --bare [email protected]:usi-systems/easytrace.git