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).

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

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

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

set -e
cd "$1"

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

niflostancu

#!/usr/bin/env python3

import sys
import csv
import re


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

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
"""
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>'.