revision-id: 633e09495b97e164cf7a98b63c330c292ee5e060 () parent(s): 6af0af76cac5c9966add22d3790eb5f3281352da author: Sergei Petrunia committer: Sergei Petrunia timestamp: 2020-04-07 11:02:38 +0300 message: Better OS setup --- setup-server/setup-os-ubuntu.sh | 2 ++ setup-server/setup-urcu.sh | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/setup-server/setup-os-ubuntu.sh b/setup-server/setup-os-ubuntu.sh index 70c57ad..be18699 100755 --- a/setup-server/setup-os-ubuntu.sh +++ b/setup-server/setup-os-ubuntu.sh @@ -18,4 +18,6 @@ if [ -e /etc/debian_version ] ; then # Need unzip to unpack TPC-DS generator sudo apt-get -y install unzip + + sudo apt-get -y install mosh fi diff --git a/setup-server/setup-urcu.sh b/setup-server/setup-urcu.sh index f1b04ae..f9d8480 100644 --- a/setup-server/setup-urcu.sh +++ b/setup-server/setup-urcu.sh @@ -5,7 +5,7 @@ sudo ln -s /home/ubuntu /home/psergey cd /home/ubuntu git clone https://github.com/urcu/userspace-rcu.git cd userspace-rcu -sudo apt-get install automake +sudo apt-get -y install automake ./bootstrap ./configure --prefix=/home/ubuntu/userspace-rcu-dist make -j10