Tag Archives: shell
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 … Continue reading
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 … Continue reading
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 … Continue reading
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 … Continue reading