git branch -a
This blog was born as a means of annotating big and small discoveries in my use of Java, Ubuntu/Linux and Android that would be easy to access from anywhere, anytime. It does beat post-it's big time, and it also adds the benefit that others might, eventually, contribute with intelligent insights.
Sunday, December 2, 2012
Prune local tracking of stale remote branches
If you suffer from OCD like myself, you'll likely be just as annoyed by the output of
Tuesday, August 28, 2012
Tags in git
Tag a release
Once one is happy with the code and the build, a given commit can be tagged with a proper release tag::$ git checkout release
# Code changes, fixes, build, tests, etc.
$ git commit -m"Release candidate complete"
# To view the latest commit hash:
$ git log
commit 2e4a6e1a7cc3bf2298055937ab79f72fb58abf1f
Author: Marco Massenzio
Date: Tue Aug 28 22:49:04 2012 -0700
Release candidate complete
# Tag it with the appropriate release number
git tag -m"Rel. 0.6 RC3" rel_0.6rc3 2e4a6e1a
# Push the commits to origin:
$ git push origin release
# The tag will be kept local to the repository, must be pushed too:
$ git push origin rel_0.6rc3:refs/tags/rel_0.6rc3
When others pull from the remote origin repo, the tag will be pulled too.
Github
A nice feature of github is that it records the tags separately, and clicking on any of them willcause a download of a 'clean' working directory into a ZIP file or tarball, reflecting the state of
the project at the exact point when the tagged commit was pushed.
Friday, March 23, 2012
Eclipse Juno has a new look!
Just downloaded the latest milestone release (M6) of Eclipse Juno (4.2) and I was quite amazed at finding out it has a brand new splashscreen, which, I must confess, quite rather like!
And Juno brand new UI looks really really neat!
And Juno brand new UI looks really really neat!
Wednesday, January 18, 2012
Adding a new sudoer in Ubuntu
This is something I have to do from time to time, but not frequently enough that I manage to memorize it - but trivial enough that it annoys me to have to look it up every time.
Here's to future memory:
- create a new user `bob`
sudo adduser bob
- check that the `admin` group is the one for the 'sudoers' on the machine
sudo cat /etc/sudoers
- add Bob to the admin group
sudo addgroup bob admin
done!
We've moved!
Please read the rest of this post on codetrips.com
Subscribe to:
Posts (Atom)