Monday, October 25, 2010
Fix stuck install on Android
What worked for me was to follow the advice on this page and Uninstall Updates for the Market app (#1 on the page).
Saturday, October 23, 2010
Migrating from hg to git
Thursday, August 19, 2010
git: Pushing a new branch back to an origin
OK, I know this is straight forward git stuff, but I just couldn't find a clear example anywhere. I cloned a remote git repository, created a new local branch and then wanted to push that branch back to the original remote repository (without merging it first).
First, I cloned a remote repository, e.g.:
git clone git@github.com:von/sandbox.git
Then I created a new branch locally and make changes in that branch:
cd sandbox
git checkout -b new-branch
edit && commit
Now I pushed the new branch back to the remote repository (i.e. origin) without merging it into the main branch (i.e. master). To do this, while on new-branch, just do a git push origin HEAD, i.e.:
git checkout new-branch
git push origin HEAD
Basically you are saying push to origin the current HEAD.
Saturday, March 13, 2010
Thursday, February 18, 2010
Mapping control-click to right click in Windows VM on a Mac host
- Download and install AutoHotKey.
- Right click on contrl-left-remap.ahk and save to Windows VM.
- Double click on contrl-left-remap.ahk, while it will appear nothing happens you should now be able to control-click on things and Windows should behave like you right-clicked (e.g. you'll get the context menu if you click on a file).
- To have this persist past a reboot, copy contrl-left-remap.ahk to C:/Program Files/All Users/Start Menu/Programs/Startup
Friday, February 5, 2010
How to change title of Google site page
- Click on More Actions/Page Settings
- Select Show Page Title and Save
- Now select Edit Page
- The title of the page should be at the very top, simply edit it to what you want it to be.
- Save the page.
- The title should now be changed.
- Disable Show Page Title under More Actions/Page Settings.