cafe-grader-web

Commit r861:b967d2a3a85c public

parent | child
Description:
Update README.rdoc
Commit status:
[Not Reviewed]
References:
default
Diff options:
Raw Diff | Patch Diff | Download Diff | Show whitespace | Increase context
Comments:
0 Commit comments 0 Inline Comments
Unresolved TODOs:
There are no unresolved TODOs
Side by Side Unified
Expand All Files Collapse All Files Wide Mode Diff
Add another comment
Browse Files

r861:b967d2a3a85c - - 1 file changed: 1 inserted, 1 deleted

Show file before | Show file after | Raw diff | Download diff | Show whitespace Increase context Show commentsHide comments
@@ -52,25 +52,25
52
52
53 sudo usermod -a -G rvm $USER
53 sudo usermod -a -G rvm $USER
54
54
55 This is very important.
55 This is very important.
56 1. You have to reboot since RVM change a lots of system.
56 1. You have to reboot since RVM change a lots of system.
57 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.
57 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.
58
58
59 === 3. Install necessary package and nodejs
59 === 3. Install necessary package and nodejs
60
60
61
61
62 First, we install required package via apt.
62 First, we install required package via apt.
63
63
64 - cafe@grader:~$ sudo apt install git libmysqlclient-dev default-jdk unzip php-cli apache2 dirmngr gnupg apache2-dev
64 + cafe@grader:~$ sudo apt install git libmysqlclient-dev default-jdk unzip php-cli apache2 apache2-dev
65
65
66 Next, we need nodejs. Depends on your ubuntu version, the step to install correct version of nodejs differs.
66 Next, we need nodejs. Depends on your ubuntu version, the step to install correct version of nodejs differs.
67
67
68 ==== 3.1 Install nodejs on Ubuntu 18.04
68 ==== 3.1 Install nodejs on Ubuntu 18.04
69
69
70 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*
70 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*
71
71
72 cd ~
72 cd ~
73 curl -sL https://deb.nodesource.com/setup_17.x -o nodesource_setup.sh
73 curl -sL https://deb.nodesource.com/setup_17.x -o nodesource_setup.sh
74 sudo bash nodesource_setup.sh
74 sudo bash nodesource_setup.sh
75 sudo apt install nodejs
75 sudo apt install nodejs
76
76
You need to be logged in to leave comments. Login now