Checking book repos
If a user’s Git repo gets mixed up, you may need to resolve it manually. To do that, log into the EBM server, then at the command line:
-
sudo su - electricbook
to switch to theelectricbook
user. Do not use theroot
user. -
cd /opt/electricbook/git_cache
to see the users’ repos. (This location will be different if you’ve deliberately set a different storage location forgit_cache
in yourelectricbook-[n].yml
file.) -
cd github-user/repo-owner/repo
to enter the relevant repo. Notegithub-user
,repo-owner
andrepo
are the user’s details:E.g.
cd arthurattwell/fireandlion/cingela
would be Arthur Attwell’s copy of the Fire and Lion organisation’scingela
repo, whilecraigmj/craigmj/aikido-grading
would be craigmj’s version of his ownaikido-grading
repo. -
You can then issue regular git commands, e.g.
git status
to see what’s up.
Be sure to do things as the electricbook
user! Do not do anything as root
or any other user.
If you do make a mistake, you can do sudo chown -R electricbook:electricbook /opt/electricbook/git_cache
to give ownership back to electricbook
.