niflostancu

import csv
import json
from datetime import date

DEADLINE = date(2023, 12, 10)

class RezultateStudent():
    nume = ""
    prenume = ""
    id_student = ""

niflostancu

#!/usr/bin/env python3
"""
Moodle assignment directory rename script: renames student submission
directories to the user ID / email and optionally extracts the archives inside.

Note: requires a grading CSV exported for the assignment. You need to enable it
in Assignment Settings -> Feedback Types -> Offline Grading Worksheet, then
download it from View All Submission -> Download Grading Worksheet.

Grading directories must be named as '<Full Name>_<ID>_<submission suffix>'.

niflostancu

/**
 * Google Sheets Gradebook Tookit - contains various automation routines for gradebooks.
 * 
 * For now, it only facilitates anonymization of the students using public sheets.
 * 
 * How to use:
 *  - backup your document before ;)
 *  - create a new Apps Script and put this code in there;
 *  - fill in the CONFIG structure below;
 *  - run + authorize the script;

niflostancu

#!/usr/bin/env python3

import sys
import csv
import re


COLUMN_PATTERNS = {
    r"nume\s+prenume": "name",
    r"grupa": "group",

niflostancu

Prerequisites:

• the device you're trying to access (behind NAT);
• a public SSH server (you need root access + custom sshd configuration to forward ports on 0.0.0.0, otherwise you can use jump hosts);

Setup steps:

• install autossh on the device behind nat;
• generate a private ssh key pair to /etc/ssh/id_autossh;
• authorize the public key on the public server (you may optionally create a limited account);
• create /etc/systemd/system/autossh.service and /etc/ssh/autossh.vars and fill it with your specific setup variables;
• systemctl daemon-reload && systemctl restart autossh && systemctl enable autossh

niflostancu

#!/bin/bash

NAMES_CSV="$(realpath "$2")"

set -e
cd "$1"

for dir in *; do
	if [[ "$dir" =~ _([0-9]+)_ ]]; then
		ID=${BASH_REMATCH[1]}

niflostancu

Installing Ubuntu 16.04 with btrfs using debootstrap

Partition layout

First, create a GPT partition table.

1. boot partition, label: EFI, flags: boot + ESP; size: 1GB, format to FAT32;
2. root partition (label: root), must same size on all devices!
3. swap partition.

niflostancu

#!/bin/bash

TESTS_DIR="_tests"

export CLASSPATH="$CLASSPATH:./bin:antlr-3.4.jar:java-cup-11a-runtime.jar"

PARSER="java Semant"

function fail {
	printf "FAIL (%s)\n" "$1"

niflostancu

/**
 * WkHtmlToPdf table splitting hack.
 * 
 * Script to automatically split multiple-pages-spanning HTML tables for PDF 
 * generation using webkit.
 * 
 * To use, you must adjust pdfPage object's contents to reflect your PDF's 
 * page format. 
 * The tables you want to be automatically splitted when the page ends must 
 * have a class name of "splitForPrint" (can be changed).