Git Bash – where’s my flash drive?

I spend my day in the magnificent Git Bash shell. Recently I started bring work home by pushing the project to a bare Git repository on the flash drive at B: git remote add flash /b/circdesk-android.git git push flash If the flash drive was not mounted before Git Bash...

Ubuntu 12.04 boots to shell after icky update. Discuss.

I started up my Ubuntu 12.04 VM in VMWare Workstation 6. It has been a while, so some update messages popped up. Sure. Afterwards, it rebooted and hung there. I should have left it; I force shutdowned and restarted. Now we are at a shell, where I can login, but nought...

Git Alias – ignore all whitespace

A talk at last year’s Chicago Code Camp spoke about Git aliases. Up until now I used shell aliases in the (wonderful) MINGW32 Git Bash shell, so “$ gs” is $ git status. $ git diff is something I use a lot, but sometimes you want to ignore whitespace,...

clip.exe

I wrote a utility called clip many years ago — you pipe output from a DOS program into it and it puts it on the clipboard. Then you can paste it somewhere. e.g. dir > clip I found a link to Copy Command Line Output to Windows Clipboard Directly. Turns out...