Blog Archives

Git Bash script to ensure LF before committing

I’m using Git for a big folder of my notes, which I prefer to keep in unix file-format.  Occasionally I’m adding in files that have CRLF, which I could let Git deal with, but I prefer to tidy them before committing, so I wrote a Git Bash one-liner to find them, and wrapped a script around it. Read more ›




Git merge in a smaller repository

I’m using local-only (ie no remotes) Git repositories for quite a few directories – mostly my notes, but some code, and some LaTeX documents. I make heavy use of .gitignore to screen out non-texty files. I decided to make my IT notes directory into a super-repository, and I wanted it to seamlessly pick up the history of a sub-directory that had been a Git repository on its own. Read more ›




reset Dropbox conflicted copies with Windows PowerShell

My Dropbox account was unattached from my Dropbox directory on my netbook for a while, but I updated many text files on my netbook, so that when I re-installed Dropbox, it renamed my changes like this: Read more ›




Directory Listing for gVim Folded viewing

The problem: do I have that somewhere?

Something that was holding me up organisationally was finding out if I had a film, or a podcast, or some notes somewhere on a disk drive that belongs to me but that’s not connected to my machine, which while I’m writing this is my old netbook. Read more ›




How much of a wizard?

When I describe myself as a “technical wizard”, I feel a little like the Wizard of Oz, but only because all wizardry is only really the possession of a little more skill in a certain area than others. Read more ›