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 is launched, it can not be… Continue reading Git Bash – where’s my flash drive?
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 else. Sigh. Some Googling.… Continue reading Ubuntu 12.04 boots to shell after icky update. Discuss.
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, say when you reformat an XML… Continue reading Git Alias – ignore all whitespace
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 Microsoft had the same… Continue reading clip.exe