diff options
author | chandrn7 <chandrn@umich.edu> | 2021-05-12 17:19:31 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-12 23:19:31 +0200 |
commit | 2840f995d501454686cbc9a0d5e2a55fc1f39cfb (patch) | |
tree | 744fa482c2bba688dd41a6136b387d8b5678359b /Vagrantfile | |
parent | 70f6f2e9b70afe5af17ee9aaec777565bdef8aed (diff) |
updated node version in Vagrantfile (#16230)
Diffstat (limited to 'Vagrantfile')
-rw-r--r-- | Vagrantfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Vagrantfile b/Vagrantfile index bfe2c374f93..4d0cc0f7621 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -12,7 +12,7 @@ curl -sS https://dl.yarnpkg.com/debian/pubkey.gpg | sudo apt-key add - sudo apt-add-repository 'deb https://dl.yarnpkg.com/debian/ stable main' # Add repo for NodeJS -curl -sL https://deb.nodesource.com/setup_10.x | sudo bash - +curl -sL https://deb.nodesource.com/setup_12.x | sudo bash - # Add firewall rule to redirect 80 to PORT and save sudo iptables -t nat -A PREROUTING -p tcp --dport 80 -j REDIRECT --to-port #{ENV["PORT"]} |