First, create a GPT partition table.
- boot partition, label: EFI, flags: boot + ESP; size: 1GB, format to FAT32;
- root partition (label: root), must same size on all devices!
- swap partition.
#!/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>'. |
/** | |
* 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; |
#!/usr/bin/env python3 | |
import sys | |
import csv | |
import re | |
COLUMN_PATTERNS = { | |
r"nume\s+prenume": "name", | |
r"grupa": "group", |
#!/bin/bash | |
NAMES_CSV="$(realpath "$2")" | |
set -e | |
cd "$1" | |
for dir in *; do | |
if [[ "$dir" =~ _([0-9]+)_ ]]; then | |
ID=${BASH_REMATCH[1]} |
#!/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" |
/** | |
* 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). |