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 - electricbookto switch to the
electricbookuser. Do not use the
cd /opt/electricbook/git_cacheto see the users’ repos. (This location will be different if you’ve deliberately set a different storage location for
cd github-user/repo-owner/repoto enter the relevant repo. Note
repoare the user’s details:
cd arthurattwell/fireandlion/cingelawould be Arthur Attwell’s copy of the Fire and Lion organisation’s
craigmj/craigmj/aikido-gradingwould be craigmj’s version of his own
You can then issue regular git commands, e.g.
git statusto 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