Krossad!

Enklast är det att ändra värdet på user i .bashrc. Dock återstod problem, färdiga paket för auctex var inte snälla. Nåja, efter lite mer trasslande fungerar det. Riktigt snyggt. Nu skall jag bara se till att börja skriva föreläsningsanteckningar i det.

Idag har jag för övrigt satt en sju år gammal hårddisk i arbete igen, om än kanske tillfälligt. Den snurrar finfint.

Jag studerar också effekterna av LOCKEDCOUNT och primtalskomprimering, vilken jag kanske borde benämna primtalsprojektion. Problemet är lite att bevisa hur få iterationer som kan tänkas behövas, eller snarast att fler inte skulle hjälpa.