<commit_before>#!/bin/sh

# This script configures a new AWS instance to run WhileyLabs.  In
# particular, it installs all necessary packages, clones the Git
# repository and begins the server.

# =====================================================================
# Config
# =====================================================================

PACKAGES="openjdk-8-jdk git ant"
REPOSITORY="https://github.com/Whiley/WhileyLabs.git"
USER=ubuntu

# =====================================================================
# Root (Commands run as root)
# =====================================================================

# Update all install packages
apt-get -y update

# Add all required Ubuntu packages
for PKG in $PACKAGES
do
    apt-get install -y $PKG
done

# =====================================================================
# User
# =====================================================================
cd /home/$USER

# Clone the WhileyLabs code
sudo -u $USER git clone $REPOSITORY

# Copy config file
sudo -u $USER cp WhileyWeb/example-config.py WhileyWeb/config.py

# Launch the server...
cd WhileyLabs
ant run<commit_msg>Minor fix to configure script<commit_after>#!/bin/sh

# This script configures a new AWS instance to run WhileyLabs.  In
# particular, it installs all necessary packages, clones the Git
# repository and begins the server.

# =====================================================================
# Config
# =====================================================================

PACKAGES="openjdk-8-jdk git ant"
REPOSITORY="https://github.com/Whiley/WhileyLabs.git"
USER=ubuntu

# =====================================================================
# Root (Commands run as root)
# =====================================================================

# Update all install packages
apt-get -y update

# Add all required Ubuntu packages
for PKG in $PACKAGES
do
    apt-get install -y $PKG
done

# =====================================================================
# User
# =====================================================================
cd /home/$USER

# Clone the WhileyLabs code
sudo -u $USER git clone $REPOSITORY

# Launch the server...
cd WhileyLabs
ant run
{'fraction_non_alphanumeric': 0.43277501131733814, 'fraction_numerical': 0.0009053870529651426, 'mean_word_length': 6.517006802721088, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 2, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6787712', 'n_tokens_mistral': 566, 'n_tokens_neox': 496, 'n_words': 170}