<commit_before>#!/bin/bash
git pull
./make.sh all
scp goblint www2.informatik.tu-muenchen.de:/srv/www/htdocs.goblint/upload_here/goblint.exe
scp goblint.byte www2.informatik.tu-muenchen.de:/srv/www/htdocs.goblint/upload_here/goblint.byte.exe
ssh www2.informatik.tu-muenchen.de 'cd /srv/www/htdocs.goblint && sudo -u vesal ./doitall.sh'<commit_msg>run winupload.sh only under cygwin<commit_after>#!/bin/bash
if [ "$(expr substr $(uname -s) 1 6)" != "CYGWIN" ];then
    echo This script must be run using cygwin!
    exit 1
fi
git pull
./make.sh all

# optional argument: username for server (might be different)
user=${1-`whoami`}
host=$user@www2.informatik.tu-muenchen.de
scp goblint goblint.byte $host:/srv/www/htdocs.goblint/upload_here/
ssh $host 'cd /srv/www/htdocs.goblint && sudo -u vesal ./doitall.sh'
{'fraction_non_alphanumeric': 0.1485148514851485, 'fraction_numerical': 0.009900990099009901, 'mean_word_length': 4.357615894039735, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 9, 'xml': 0}, 'pii_count': 1, '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': '4399672', 'n_tokens_mistral': 351, 'n_tokens_neox': 330, 'n_words': 69}