Tutorials

Headerbild: Syntaxdiagramme mit LaTeX und rail unter macOS erstellen

Syntaxdiagramme mit LaTeX und rail unter macOS erstellen

Große Texte schreibe ich gerne mit LaTeX. Für Syntaxdiagramme im Text verwende ich seit Jahren rail. Hierbei handelt es sich um ein LaTeX-Paket nebst zugehörigem Programm, welches die Diagrammdateien für LaTeX übersetzt. Das Paket ist im Original ausschließlich im Quellcode zu haben. Unter Gnu/Linux habe ich es mehrfach übersetzt. Auch […]

Headerbilld: PDF-Dateien erstellen und optimal nutzen

PDF-Dateien erstellen und optimal nutzen (Teil 1)

PDF-Dateien sind die erste Wahl, wenn es darum geht Dokumente weiterzureichen oder auch zu archivieren. Sie sind grundsätzlich unveränderlich für den Empfänger, was die Sicherheit, den Inhalt des Dokuments vor unbeabsichtigten Änderungen zu schützen, ungemein erhöht. Auch sind PDF-Dateien im Rahmen der digitalen Archivierung nicht wegzudenken. Kurz: PDF-Dateien spielen in […]

Headerbild: eoln2unix – Textdateien ins Unix-Format konvertieren

eoln2unix – Textdateien ins Unix-Format konvertieren

Bereits im Artikel „Dateikonvertierung unix2dos und dos2unix“ haben wir uns mit der Konvertierung von systemspezifischen Zeilenendungen befasst. Wenn man genau weiß, welche Zeilenendung eine Datei verwendet, sind die vorgestellten Skripten sehr nützlich. Häufig haben wir jedoch den Fall, Textdateien von unbekannten Systemen zu erhalten. Es wäre also praktisch, wenn wir […]

Headerbild: Dateikonvertierung unix2dos und dos2unix

Dateikonvertierung unix2dos und dos2unix

Wer mit Linux, OS X oder macOS arbeitet, kennt das Problem der Dateikonvertierung zwischen den Systemen, wenn er mit Windows-Anwendern Textdateien austauscht. Windows verwendet andere Zeilenenden als die vorgenannten Betriebssysteme. Es tut also Not, die Zeilenenden einfach und elegant zu konvertieren. Die folgenden zwei Shellskripten für die Bash nutzen sed […]

Headerbild: Konfiguration USB-Tastatur macOS

USB-Tastatur unter macOS und OS X

Wenn Sie sich für Ihrem Mac die große USB-Tastatur von Apple geleistet haben, werden Sie enttäuscht sein, dass bereits auf der grafischen Benutzeroberfläche die Positionierungstasten nicht funktionieren. In der Terminal-App, in der Shell, sieht es noch schlechter aus. Wenn Sie die große Apple-USB-Tastatur mit abgesetztem Ziffernblock so nutzen möchten, wie […]