For the GIT category

Script to create a shared git project

No Comments

This script creates a git project to be shared among the users of the Unix group $GIT_GROUP. Every git project will be created into the directory $REPOSITORIES_BASE_DIR.


# Base directory where the shared git project are.
# Group in which the user's of the repositories must be a member of

if [ $# -ne 1 ]; then
        echo 'Usage:' `basename $0` 'project-name'
        exit 1


git init --shared --bare "$PROJECT_NAME"
cd ..
find git/$PROJECT_NAME -type d | xargs setfacl -R -m d:g:$GIT_GROUP:rwX
sudo setfacl -R -m g:$GIT_GROUP:rwX git/$PROJECT_NAME

EGit does not shows project decorations

No Comments


Decorations are not displayed when some commits are not pushed EGit within the Eclipse IDE. These are the UP and DOWN arrows shown to the right of the project name in Eclipse Project Explorer. This issue can be resolved by going into the properties of the GIT repository in the Git Repositories view. Then click on Add Entry and add the following keys and values:

branch.master.remote = origin
branch.master.merge = refs/heads/master
Blue Taste Theme created by Jabox