This repository has been archived on 2021-05-26. You can view files and clone it, but cannot push or open issues or pull requests.
OS/bootstrap.sh

13 lines
361 B
Bash
Raw Normal View History

sudo apt-get update
sudo apt-get install -y gcc g++ gdb binutils \
libxrandr2 libxrandr-dev \
libncurses5-dev libncurses5
cat <<EOF > /home/vagrant/.bash_profile
PATH=/pintos-env/bin/:\$PATH
PATH=/pintos-env/pintos/utils:\$PATH
export PATH
export PS1='\${debian_chroot:+(\$debian_chroot)}\[\e[1;31m\]\u@\h:\[\e[0m\]\w\\$ '
alias ls='ls --color'
EOF