All posts by Jose Osuna

Deutsch, IT

Desktop.ini unter Windows 8.1 los werden

1 Comment

Wenn man die versteckten Dateien im Explorer anzeigt, taucht unter Windows 8.1 auf dem Desktop das verborgene File Desktop.ini auf. Das hat natürlich dort nichts zu suchen. Versucht man, es über simples Löschen weg zu bringen, erscheint es wieder wie aus magischer Hand.

Die folgende Änderung in der Registry behebt dieses nervige Verhalten: das Betriebssystem legt die Datei nicht mehr an. (Original-Artikel in Englisch)

  1. Den Registry Editor regedit.exe öffnen (am besten nach regedit.exe suchen)
  2. Links im Baum durch folgende Äste navigieren: HKEY_LOCAL_MACHINE —> SOFTWARE —> Microsoft —> Windows —> CurrentVersion —> Policies —> Explorer
  3. Das neue DWORD UseDesktopIniCache anlegen und dem neuen DWORD den Wert 0 (Null) zuweisen.
Deutsch, Schule

Einsteins Formel in neuem Licht

Physiker der Universitäten Jena und Graz
simulieren die effektive Masse von Elementarteilchen Einsteins berühmte Formel
E=mc² beschreibt den Zusammenhang von Energie und Masse: Je massereicher ein
Objekt oder Teilchen und je schneller es sich bewegt, umso größer seine
Energie. „Anders als die Geschwindigkeit ist dabei die Masse eines Körpers eine
feststehende Größe, zumindest unserer Alltagserfahrung nach“, macht Prof. Dr.
Holger Gies von der Friedrich-Schiller-Universität Jena und dem
Helmholtz-Institut Jena deutlich. teachersnews.net

Deutsch, Schule

„Datenschutz ist eine primäre Bildungsaufgabe“

Wie gut funktioniert der Datenschutz an den
Schulen? Wie sicher sind die Schulserver? Worauf sollten Lehrer achten, wenn
sie Schülerdaten auf ihrem Rechner speichern oder wenn sie gemeinsam mit ihren
Schülern Web 2.0-Angebote nutzen? Thomas Floß von der Initiative
“Datenschutz geht zur Schule” hat bisher rund 15 000 Schüler und 1000
Lehrer fit gemacht im Umgang mit ihren digitalen Daten. Dabei hat er auch
Trojaner auf Lehrerrechnern und allzu simple Passwörter auf Schulservern
gefunden. bildungsklick.de

English, IT

Bulk convert with ImageMagick

The following might be useful if you scan some images and want to convert between formats.

Use mogrify from the ImageMagick package in order to convert more than one image at once from one format to another.

From PDF to JPG:
mogrify -format jpg -quality 80 -density 300 *.pdf

From JPG back to PDF:
mogrify -format pdf *.jpg