GNAT 2012 for Debian Wheezy

For purposes known mostly within our company, I’ve created a magic makefile that takes care of most of the work involved with getting a GNAT 2012 (and up-to-date various support tools) up and running on a Debian. The makefile requires you to download some files manually, but that’s okay, as it gives you a great […]

Beamer i LaTeX

Jeg er blevet opfordret til at skrive en lille introduktion til LaTeX – nærmere betegnet Beamer klassen. Beamer er en præsentations-dokumentklasse der kan bruges til at lave slides med. Først og fremmest skal du have latex-beamer og pdflatex installeret: # apt-get install latex-beamer texlive-latex-base# apt-get install latex-beamer texlive-latex-base Burde kunne klare opgaven på et Debian […]

Persistant enumeration of network interfaces across hardware addresses

If you’ve ever created a Linux virtual machine image for distribution, you have probably encountered this problem. The Virtualization is not really important – the problem exists on VirtualBox, VMWare, KVM, Xen and others supporting Linux guests. So, what is the issue exactly? The problem is that when you recreate a a virtual machine using […]

Modløsheden melder sig

Jeg har i sidste uge modtaget et nyt uddannelseskort – på trods af jeg ikke har bestilt det. Der er oprettet en betalingsaftale, så de trækker beløbet direkte – uden godkendelse. Jeg har ingen forelæsninger i december måned, så jeg havde egentlig ikke nogen planer om at bestille et kort. Efter sidste omgang har jeg […]

Thinkfan on a Lenovo T420

Warning: tampering with the fan control on you laptop is potentially dangerous, and I will not take any responsibility if anything happens to your machine. With that being said; I have used Thinkfan for various Thinkpads (7 I think) with no problems at all. Just be warned. A lovely Lenovo T420 has recently dropped into […]

Malet op i et hjørne

Jeg har altid godt kunne lide at skille ting ad og finde fejl og mangler i systemer – indrømmet. Og nu har jeg vist gjort det igen. Jeg har fået inde-klikket mig i et digitalt hjørne af www.uddannelseskort.dk systemet. Hvordan så det? – Følg med, det er lidt indviklet. Jeg har sidste gang jeg bestilte […]

Yet another goodbye

I’m moving out – of my first vserver that is. I have had the server running for, well lucretia:~# uptime 19:19:59 up 700 days, 22:51, 2 users, load average: 0.02, 0.06, 0.02 Wow.. Time flies. I have been migrating the services running in the machine to another, server. Not is the time to do the […]