December 18, 2013

Bash: about .bashrc, .bash_profile, .profile, /etc/profile, etc/bash.bashrc and others


  • http://stackoverflow.com/questions/415403/whats-the-difference-between-bashrc-bash-profile-and-environment
  • http://stackoverflow.com/questions/6372751/what-is-the-difference-between-the-various-shell-profiles
  • http://unix.stackexchange.com/questions/40708/what-is-the-difference-between-profile-bashrc-bash-profile-gnomer
  • http://superuser.com/questions/183870/difference-between-bashrc-and-bash-profile


May 7, 2013

Create/Push/Track new branch in git

Create New branch : git checkout -b your_branch
Push and track new branch you just created, git push -u origin your_branch
Now if you check your git configuration file you should see: 
[branch "your_branch"] remote = origin merge = refs/heads/your_branch