MoreRSS

site icon Ellie Huxtable

A software/infrastructure engineer. Maker of Atuin. Previously, lead the infrastructure team at PostHog, worked at Coinbase, Tracr and Arachnys.
Please copy the RSS to your reader, or quickly subscribe to:

Inoreader Feedly Follow Feedbin Local Reader

Rss preview of Blog of Ellie Huxtable

Checking kubernetes component status

2024-10-28 08:00:00

Checking the state of individual kubernetes components - such as etcd.

Inspector in production Tauri builds

2024-10-07 08:00:00

If you’d like to enable the devtools/inspector in a Tauri project, enable the “devtools” flag tauri = { version = "2.0.0", features = ["tray-icon", "devtools"] ...

Fixing drag events with Tauri

2024-09-13 08:00:00

I’ve been working on a desktop app with Tauri, and had issues for a while with the “draggable” prop on some elements. Instead of them dragging as I expected, I’d just get a plus icon.

Amending the author of a Git commit

2024-07-30 08:00:00

It’s pretty common that I’ll accidentally use the wrong email for a commit. I have a few emails that I like to use for different purposes, so getting it correct is important :) Amend author of last commit This one is nice and easy! git commit --amend --author="Example Name " Using interactive rebase git rebase -i on whatever base you want Mark the commits you’d like to change with edit, instead of pick git commit --amend --author="Example Name ", then git rebase --continue Using filter branch Filter the whole thing! Be careful though, filter-branch can break things if you’re not careful git filter-branch -f --commit-filter ' if [ "$GIT_AUTHOR_EMAIL" = "[email protected]" ]; then GIT_AUTHOR_NAME="New Name"; GIT_AUTHOR_EMAIL="[email protected]"; git commit-tree "$@"; else git commit-tree "$@"; fi' HEAD Using filter repo I first mentioned git-filter-repo in split git repo, but it’s useful here too.

How to split a Git subdirectory into a new repo

2024-07-29 08:00:00

Splitting a git repo into two, while retaining all history.