commit 4ed0feb0a3f86a56e5f292660416b0457ed3f7ef · ryan.freumh.org/nixos

scripts/README.md

···

       1
       1
       +
       For want of a better place, and as they often rely on system configutration, e.g. `/etc/hosts/`/`~/.ssh/`.

scripts/gitlab_proxy.sh

···

       1
       1
       +
       #!/bin/sh

     

       2
       2
       +
       

     

       3
       3
       +
       ssh -D 8123 -f -C -q -N rtg2@rtg2.host.cs.st-andrews.ac.uk

+12

scripts/socs_mc/process_signups.sh

···

       1
       1
       +
       infile=${1:-$(dirname $0)/signups.xlsx}

     

       2
       2
       +
       outfile=$(dirname $0)/signups.csv

     

       3
       3
       +
       remote_file='~/allowlist_management/signups.csv'

     

       4
       4
       +
       remote_command='~/allowlist_management/update_allowlist.sh'

     

       5
       5
       +
       

     

       6
       6
       +
       echo "Converting to CSV..."

     

       7
       7
       +
       sudo ssconvert "$infile" "$outfile"

     

       8
       8
       +
       echo "Copying to remote..."

     

       9
       9
       +
       scp -J rtg2@rtg2.host.cs.st-andrews.ac.uk "$outfile" minecraft@mcse.cs.st-andrews.ac.uk:"$remote_file"

     

       10
       10
       +
       echo "Updating allowlist..."

     

       11
       11
       +
       ssh -J rtg2@rtg2.host.cs.st-andrews.ac.uk minecraft@mcse.cs.st-andrews.ac.uk "$remote_command"

     

       12
       12
       +
       echo "Done"

scripts/socs_mc/proxy.sh

···

       1
       1
       +
       #!/bin/sh

     

       2
       2
       +
       

     

       3
       3
       +
       ssh rtg2@rtg2.host.cs.st-andrews.ac.uk -L 25565:mcse.cs.st-andrews.ac.uk:25565 -N

scripts/switch_nw.sh

···

       1
       1
       +
       #!/bin/bash

     

       2
       2
       +
       

     

       3
       3
       +
       nmcli con up "$1"

     

       4
       4
       +
       

     

       5
       5
       +
       sleep 60

     

       6
       6
       +
       

     

       7
       7
       +
       systemctl restart ddclient

     

       8
       8
       +

+50

scripts/wordcount_progress.sh

···

       1
       1
       +
       #!/usr/bin/env bash

     

       2
       2
       +
       

     

       3
       3
       +
       cd "$1"

     

       4
       4
       +
       

     

       5
       5
       +
       log="$(git log --pretty=format:'%h %ad' --date=iso-strict)"

     

       6
       6
       +
       

     

       7
       7
       +
       prev_hash="$(git status | head -1 | awk '{print($NF) }')"

     

       8
       8
       +
       

     

       9
       9
       +
       echo "wordcount,timestamp" > wordcounts.csv

     

       10
       10
       +
       while IFS= read -r line; do

     

       11
       11
       +
       	hash="$(echo "$line" | awk '{print $1}')"

     

       12
       12
       +
       	time="$(echo "$line" | awk '{print $2}')"

     

       13
       13
       +
       	git checkout "$hash" || exit 1

     

       14
       14
       +
       	wordcount="$(texcount -merge -sum -q -1 ${3:-main.tex})"

     

       15
       15
       +
       	if [ ! -z $wordcount ]; then 

     

       16
       16
       +
       		echo "$wordcount,$time" >> wordcounts.csv

     

       17
       17
       +
       	fi

     

       18
       18
       +
       	if [ "$hash" == "$2" ]; then break; fi

     

       19
       19
       +
       done <<< "$log"

     

       20
       20
       +
       

     

       21
       21
       +
       git checkout "$prev_hash" | exit 1

     

       22
       22
       +
       

     

       23
       23
       +
       echo "

     

       24
       24
       +
       import csv

     

       25
       25
       +
       from datetime import datetime

     

       26
       26
       +
       import numpy as np

     

       27
       27
       +
       import matplotlib.pyplot as plt

     

       28
       28
       +
       import matplotlib.dates as dates

     

       29
       29
       +
       

     

       30
       30
       +
       with open('wordcounts.csv') as file:

     

       31
       31
       +
           data = [row for row in csv.reader(file)][1:]

     

       32
       32
       +
       

     

       33
       33
       +
       timestamps=[datetime.strptime(timestamp, '%Y-%m-%dT%H:%M:%S%z') for wordcount, timestamp in data]

     

       34
       34
       +
       wordcounts=[int(wordcount) for wordcount, timestamp in data]

     

       35
       35
       +
       

     

       36
       36
       +
       start=datetime.combine(datetime.date(min(timestamps)), datetime.min.time()).timestamp()

     

       37
       37
       +
       end=max(timestamps).timestamp() + 60*60*24

     

       38
       38
       +
       increment=60*60*6

     

       39
       39
       +
       

     

       40
       40
       +
       plt.figure(figsize=(12, 4))

     

       41
       41
       +
       #plt.xticks([datetime.fromtimestamp(t) for t in np.arange(start, end, increment)])

     

       42
       42
       +
       #plt.gca().xaxis.set_major_formatter(dates.DateFormatter('%Y-%m-%d %H:%M'))

     

       43
       43
       +
       #plt.gcf().autofmt_xdate()

     

       44
       44
       +
       #plt.gcf().subplots_adjust(bottom=0.25)

     

       45
       45
       +
       plt.plot(timestamps, wordcounts)

     

       46
       46
       +
       

     

       47
       47
       +
       #plt.xticks(rotation=45)

     

       48
       48
       +
       plt.xlabel('timestamp')

     

       49
       49
       +
       plt.ylabel('wordcount')

     

       50
       50
       +
       plt.savefig('wordcounts.pdf')" | python3