Mike Griffin

About | Archives | |

Getting Started with Primer CSS

Jun 4, 2021

Primer CSS is the framework that GitHub.com uses for its design and it has a whole bunch of well designed bits that go together. The documentation is really good and it’s easy to find most things.

Read on →

Soda Bread Recipe

May 3, 2021

A recipe from the Dunany Flour website

Read on →

Changing the volume in cmus

Jul 10, 2020

Sometimes I like to play music that I have on my local machine, or stream radio stations while I’m working and I’ve been using cmus to do this. It works great and just plays away in the background, but the up to now, the volume has been just a touch too high.

Read on →

Planting Trees to Offset Climate Crisis

May 7, 2020 • climate, trees

sparkle tree link from offset.earth I’ve recently signed up to Offset Earth after following Phil Sturgeon on Twitter. He’s been going on about this site for ages and I eventually signed up and now have a family account set up where we get about 40 trees planted each month.

Read on →

Recovering From a File That Should Have Pointers in Git

Oct 17, 2019 • git

I was working away on a project that a few other people have been working on and I ran into a problem trying to update the branch I was working on. It turns out that at some stage in the past, someone tried badly to add a file to the repository using git lfs. It left it in this weird zombie state where I wasn’t able to checkout the original copy to remove the changes, or stash it, or anything.

Read on →

Deleting Old Emails in Mutt

Nov 29, 2018 • mutt

A note for myself so that I won’t forget how to delete older emails from my mailboxes.

Read on →

There's more in the archives