PAM login will be phased out. Users with PAM login need to reset their password (click "I forgot my password") for this GitLab instance. Please use the standard login after the reset. In case of problems contact the admins.

Commit 35a32794 authored by Christoph Gerum's avatar Christoph Gerum

Update vm configuration

parent bcdc6b21
......@@ -23,5 +23,9 @@ apt-get install python-pandas python-matplotlib -y
apt-get install libncurses5 libncurses5-dev libelf-dev -y
apt-get install git -y
#German keyboard Layout
echo "locales locales/default_environment_locale select de_DE.UTF-8" | debconf-set-selections -v
update-locale LANG=de_DE.UTF-8
dpkg-reconfigure -f noninteractive locales
sudo -H -u vagrant /vagrant/
vagrant halt
rm -f /afs/wsi/ti/ra/vm/ra_virtualbox.ova
VBoxManage export vm_students_default_1460542887194_25706 -o /afs/wsi/ti/ra/vm/ra_virtualbox.ova
\ No newline at end of file
......@@ -4,7 +4,10 @@
echo "Running userconfig in $HOME"
cd $HOME
mkdir -p $ca_dir
cd $ca_dir
if [ ! -d gem5 ]; then
hg clone
......@@ -40,10 +43,14 @@ cp -r /vagrant/local_config/ssh/* ~/.ssh
mkdir -p $ca_dir
cd $ca_dir
git clone
if [ $? -ne 0 ]; then
if [ ! -d exercises ]; then
git clone
if [ $? -ne 0 ]; then
echo "Checkout over ssh failed trying https"
git clone
cd exercises
git pull
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment