benjamingwynn

# [!!] replace SOME-UUID with the UUID from your boot.initrd.luks.devices.[this] for your root drive
# [!!] replace my-disk-label with either the label of your FAT partition or pick some other consistent identifier

# unlock boot disk with file on usb drive
# falls back to prompting for a password after 10 seconds if unavailable
# see https://nixos.wiki/wiki/Full_Disk_Encryption
# see: https://gist.github.com/benjamingwynn/6c8ba9593f70ed4c9841818b95766ea7
# this needed to be modified because 26.05 introduces systemd init, see https://discourse.nixos.org/t/systemd-initrd-for-usb-based-luks-unlocking-root/59179/4
boot.initrd.kernelModules = ["uas" "usbcore" "usb_storage" "vfat" "nls_cp437" "nls_iso8859_1"];

benjamingwynn

ASUS PG42UQ Display Inputs IDs

Input name	ID
DisplayPort	15
HDMI 1	17
HDMI 2	18

For example: m1ddc display CCDF4573-4E2D-413F-9633-CFFDDAD9153B set input 15

benjamingwynn

#!/usr/bin/env bash
# based on https://github.com/NixOS/nixpkgs/issues/163936#issuecomment-1069797072
resolvesTo=`cat /proc/cmdline | sed -n 's/^.*init=\(.*\)\/init.*$/\1/p'`
directory="/nix/var/nix/profiles/"

for symlink in "$directory"/*; do
  if [ -L "$symlink" ]; then
    resolved_path=$(readlink -f "$symlink")

    if [ "$resolved_path" == "$resolvesTo" ]; then

benjamingwynn

Preface

I owe my very rapid learning journey in the world of ConfigFs to several key sources which aren't necessarily relevant to this result, but I feel deserve a mention anyway.

• This really demystified configfs for me, and stopped me being afraid of it: http://events.linuxfoundation.org/sites/events/files/slides/USB%20Gadget%20Configfs%20API_0.pdf
• I borrowed heavily from this Mindstorms EV3 script: https://github.com/ev3dev/ev3-systemd/blob/ev3dev-jessie/scripts/ev3-usb.sh
• Desperately trawled this thread for answers: https://answers.microsoft.com/en-us/windows/forum/windows_10-networking-winpc/windows-10-vs-remote-ndis-ethernet-usbgadget-not/cb30520a-753c-4219-b908-ad3d45590447?auth=1
• This guide is handy: http://irq5.io/2016/12/22/raspberry-pi-zero-as-multiple-usb-gadgets/

benjamingwynn

function generateRandomColour () {
  return '#'+(Math.random() * 0xffffff | 0).toString(16).padStart(6, '0')  
}

benjamingwynn

// use nodejs to load location history.json from your google takeout folder -b
var data=require('./Location History')
var times=data.locations.map(d=>parseInt(d.timestampMs))
var between=times.map((t,i) => times[i-1] ? t-times[i-1] : 0 )
var mean=between.reduce((a,v)=>a+v)/between.length
var meanInMinutes=mean/1000/60
console.log("Google location data reported every " + meanInMinutes + " minutes.")

benjamingwynn

#!/bin/bash
# open 
# macOS open command for WSL (Windows Subsystem for Linux)
# written by benjamin gwynn (https://benjamingwynn.com)
# get latest version here: https://gist.github.com/benjamingwynn/a778aa6cf2dd461dc18978f245bd90c1
#
# You can run this on WSL wuth no prior setup or changes to host Windows.
#
# See: * https://docs.microsoft.com/en-us/windows/wsl/interop#run-windows-tools-from-linux
#      * https://stackoverflow.com/a/501295

benjamingwynn

# Actually gets Google Home's bluetooth to connect reliably on Windows 10.
# Unpairs Windows AND Google Home using MAC address, then sets everything up for a one-click connection.

# * Prevents Google Home from getting stuck paried using bttool, which is apparently the only way to fix that?
# * Uses some code from Stack Overflow to get the IP from the MAC address so you don't have to dick around with static IP's
# * Connects reliably by repairing bluetooth on Google Home using the "secret" REST API (https://rithvikvibhu.github.io/GHLocalApi)
# * Opens control legacy panel after setting up Google for pairing

#
# Needs btpair installed first, get it from http://bluetoothinstaller.com/bluetooth-command-line-tools/

benjamingwynn

/** Image object for WebAppManifest */
declare interface WebAppManifestIcon {
	/** A string containing space-separated image dimensions. */
	sizes: string,
	/** The path to the image file. If src is a relative URL, the base URL will be the URL of the manifest. */
	src: string,
	/** A hint as to the media type of the image. The purpose of this member is to allow a user agent to quickly ignore images of media types it does not support. */
	type: string,
}

benjamingwynn

/**
	White modern theme for ProtonMail
	Work-in-progress (v2) - Copyright Benjamin Gwynn, 2017 (http://benj.pw)
*/

body {
	--font: "Roboto", "Cantarell", "Segoe UI", "Ubuntu", sans-serif;
  font-family: var(--font);
}