Linux shell groupwork repo, for the 10-member group.