In the corresponding pull request I update the Dockerfile in order to:
allow using the man pages inside the container (suggested by some of the levels)
add the git configurations to the deliverables folder (i.e. /data/gitconfig), which will also help identify the student using the user.name and user.email git variables
transfer the git config to a fresh container by copying /data/gitconfig to ~/.gitconfig inside the container
drop the level folder from the list of volumes stored by the container and use the profile file (i.e. .profile.yml) to restore the level folder
warn the students that their bash interactions are recorded during the session, which is used to assist the grading of the activity
Possible issues:
The Dockerfile assumes that the git configuration performed in level 2 is done at a global level (i.e. using the --global directive). I suggest changing level 2 to double check that this is indeed the case (i.e. that the config variables are stored at ~/.gitconfig inside the container).
In the corresponding pull request I update the Dockerfile in order to:
/data/gitconfig
), which will also help identify the student using theuser.name
anduser.email
git variables/data/gitconfig
to~/.gitconfig
inside the container.profile.yml
) to restore the level folderPossible issues:
--global
directive). I suggest changing level 2 to double check that this is indeed the case (i.e. that the config variables are stored at~/.gitconfig
inside the container).