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 bcdc6b21 authored by Christoph Gerum's avatar Christoph Gerum

Update vm config

parent f3e98e0a
#!/usr/bin/env bash
echo "Running global config in ${PWD}"
apt-get update
apt-get upgrade -y
apt-get install build-essential -y
......@@ -20,7 +23,5 @@ apt-get install python-pandas python-matplotlib -y
apt-get install libncurses5 libncurses5-dev libelf-dev -y
apt-get install git -y
echo ${PWD}
sudo -u vagrant /vagrant/
echo "Setting local configuration"
sudo -H -u vagrant /vagrant/
echo "Running userconfig in $HOME"
cd $HOME
if [ ! -d gem5 ]; then
hg clone
......@@ -39,5 +41,9 @@ cp -r /vagrant/local_config/ssh/* ~/.ssh
mkdir -p $ca_dir
cd $ca_dir
git clone
if [ $? -ne 0 ]; then
echo "Checkout over ssh failed trying https"
git clone
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