Shell Scripts

Shell Scripts schreibt man oft schnell vor sich hin, aber manche Exemplare sind es auch wert, aufbewahrt zu werden. Hier sammle ich sie – viele sind nicht wirklich genial oder auch nur sinnvoll, aber es steckt zumindest eine Idee drinnen, die vielleicht nicht selbstverständlich ist, zumindest für mich als Anfänger. Mit der Zeit sollten hier anspruchsvollere Dinge zu finden sein.

GPS

• G7ToWincsv2gpspoint.awk – GPS-Daten im CSV-Format (G7ToWin) in das gpspoint-Format konvertieren

• gpspoint2csv.sh – gpspoint-Daten in CSV konvertieren

• makeinterval.pl – gleiche zeitliche Abstände zwischen den Trackpunkten in einem GPS-Track

Geophysik

• add_sac_picks.sh – schreibt Laufzeiten von Erdbebenwellen in SAC-Seismogrammdateien

• do_space.awk – formatiert eine Liste mit festen Abständen

• getmachinestatus.pl – liefert Informationen über Rechner im Netzwerk (Speicher, CPU-Auslastung etc.)

• isi2bib.pl – ISI-Literaturformat in BibTeX-Format konvertieren

• mpirenice.sh – MPI-Programme eine andere Priorität zuweisen

Grafik

• my_psmerge.sh – mehrere Postscript-Dateien zusammenfügen ohne das bockige psmerge

• panorama2video.sh – eine Animation erstellen, die ein Panoramabild gleichmäßig entlangfährt

Linux

• Eterm_make_pixmaps-list.sh – eigene Hintergrundbilder ins Eterm einbinden

• list-mails.sh – Alle E-Mail-Adressen aus einem Maildir-Verzeichnisbaum raussuchen

• maple-patch.sh – Libraries für Maple V richtig verlinken

Sonstiges

• ascii.sh – ASCII-Tabelle erstellen

• batterybench.sh – Akkulaufzeit eines Laptops messen

• checklinks.pl – Gültigkeit von Links einer Bookmark-Sammlung überprüfen

• create_sitemap.sh – Sitemap erstellen (für diese Webseite)

• encrypt_pdf.sh – PDF-Dokumente verschlüsseln

• get_numerical-recipes.sh –

• recode_povray.sh – Texte für Povray in den richtigen Zeichensatz konvertieren

• renumber_pictures.sh – Bilder durchnummerieren, um daraus eine Animation zu erstellen

• rtf2utf8.pl – Sonderzeichen in RTF-Dokumenten zu Unicode konvertieren

Tools

• bench.sh – Laufzeit eines Programms messen

• capitalfname.sh – alle Dateinamen im aktuellen Verzeichnis zu Großbuchstaben machen

• datediff.sh – Differenz aus zwei Datumswerten berechnen

• rename_files_numbered.sh – Dateien durchnummerieren