diff --git a/README.rdoc b/README.rdoc --- a/README.rdoc +++ b/README.rdoc @@ -45,13 +45,27 @@ cafe@grader:~$ sudo apt-get update cafe@grader:~$ sudo apt-get install rvm -This is very important. You have to logout and login again since RVM change a lots of system. +We also need to add our user to the rvm group + + sudo usermod -a -G rvm $USER -If you are using GUI version of Ubuntu, be sure to have Gnome Terminal (or any other terminal you are using) perform login every time. This can be done by mark the check box "Run command as a login shell" in Gnome terminal or by adding --login to bash. +This is very important. +1. You have to reboot since RVM change a lots of system. +2. If you are using GUI version of Ubuntu, be sure to have Gnome Terminal (or any other terminal you are using) perform login every time. This can be done by mark the check box "Run command as a login shell" in Gnome terminal or by adding --login to bash. + +=== 3. Install necessary package and nodejs -=== 3. Install necessary package +First, we install required package via apt. + + cafe@grader:~$ sudo apt install libmysqlclient-dev default-jdk unzip php-cli apache2 dirmngr gnupg apache2-dev + +Since nodejs that comes with ubuntu 18.04 is very outdated, we need to install it manually. This follow the method outlined in https://www.digitalocean.com/community/tutorials/how-to-install-node-js-on-ubuntu-18-04 under *Installing Node.js with Apt Using a NodeSource PPA* - cafe@grader:~$ sudo apt install libmysqlclient-dev default-jdk unzip nodejs php-cli apache2 dirmngr gnupg apache2-dev + cd ~ + curl -sL https://deb.nodesource.com/setup_17.x -o nodesource_setup.sh + sudo bash nodesource_setup.sh + sudo apt install nodejs + === 4. Install cafe-grader