Tag Archive for 'Datei'

TeXlipse, die TeXnicCenter-Alternative.

Justus hat mir heute einen prima Tipp gegeben: Das Eclipse-Plugin namens TeXlipse, das die beliebte Entwicklungsumgebung um einen LaTeX-Editor erweitert. Bisher habe ich für meine Dokumente TeXnicCenter unter Windows bzw. TeXShop auf dem Mac verwendet. Eigentlich war ich mit TeXnicCenter bisher zufrieden, gefehlt hat mir allerdings schon immer eine SVN-Integration, mit der Dateien direkt aus dem LaTeX-Editor ein- und ausgecheckt werden können. Dies ist jetzt mit Eclipse und dem Subclipse-Plugin ohne Probleme möglich!

Des Weiteren bin ich vom DVI-Viewer des MiKTeX-Pakets auf den SumatraPDF-Reader umgestiegen. Dieser hat gegenüber anderen Readern den Vorteil, dass er PDF-Dateien nicht sperrt, sondern die Anzeige permanent aktualisiert, sobald die Datei überschrieben wurde.

Eine tolle Sache! Probiert’s aus.

Dateien sichern, wiederherstellen und synchronisieren mit SyncBack

Schon seit einiger Zeit verwende ich das Freeware-Tool SyncBack von 2BrightSparks, um die Daten von der internen PC-Festplatte auf eine externe USB-Festplatte zu sichern. SyncBack bietet u.a. die Möglichkeit, die Daten zwischen den beiden Datenträgern zu synchronisieren. Das ist beispielsweise genau dann sinnvoll, wenn man mit der externen USB-Festplatte unterwegs ist, Dateien hinzufügt (bearbeitet oder löscht) und diese dann mit der internen PC-Festplatte abgleichen möchte.

SyncBack

Besonders interessant ist hierbei, dass nicht mehr benötigte Dateien oder leere Verzeichnisse automatisch von SyncBack gelöscht werden können, damit keine verwaisten Dateien entstehen können. Neben Festplatten unterstützt dieses Werkzeug auch Medien wie CDRW, CompactFlash, FTP, Netzwerk-Laufwerk und ZIP-Archiv. Eine tolle Sache! Probiert’s aus.

Mehrere Dateien umbenennen unter Mac OS X mit Name Mangler

Heute bin ich über das Tool Name Mangler gestoßen, das mehrere Dateien anhand von Regeln umbenennen kann. Diese Regeln kann man mittels einer Skriptsprache selbst erstellen; reguläre Ausdrücke werden unterstützt.

Name Mangler

Ich verwende dieses Tool überwiegend dazu, um importierte Fotos von der Kamera umzubenennen. Normalerweise heißen die Bilder folgendermaßen:

  • IMG_1234.JPG,
  • IMG_1235.JPG
  • u.s.w.

Name Mangler kann diese dann beispielsweise sequentiell benennen:

  • 001.jpg,
  • 002.jpg,
  • u.s.w.

Eine tolle Sache! Probiert’s aus. Der Autor freut sich bestimmt über eine kleine Spende.