Skip to content

Instantly share code, notes, and snippets.

@ajpen
Last active September 8, 2020 13:59
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ajpen/862b8645c398f8a0f08c3d182f496e8f to your computer and use it in GitHub Desktop.
Save ajpen/862b8645c398f8a0f08c3d182f496e8f to your computer and use it in GitHub Desktop.
Random useful things I might forget later

.local Hostname Discovery (Raspberry PI Nano Ethernet over USB)

If running on nixos setup, use Network Manager to set this up.

  1. Configure raspberry pi boot and config parameters to enable network over USB.
  2. On network detection (with nmcli), edit the connection and change the configuration for IPv4 and IPv6 to Link-Local. This should properly setup and connect the Pi. If it doesn't try plug-out and in again or google it.
  3. If not already, edit configuration.nix and add the avahi service (check the client section here for instructions: https://nixos.wiki/wiki/Printing)

Extract/Partition Pages for PDFs

pdftk input.pdf cat 10-12 output output.pdf creates a new pdf output.pdf with pages 10, 11 & 12 from input.pdf.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment