PDF-Optionen setzen und PDF-Datei verschlüsseln
Wie kann man die erlaubten PDF-Optionen (Drucken, Kopieren) setzen und das Dokument verschlüsseln?
Die hier beschriebenen Links stammen aus der Newsgroup de.comp.text.tex
Datei sudo speziell für Debian
Einstellungen für sudo in einer Debian-Umgebung.
Erstellungsdatum einer Datei
Dieser Befehl gibt das Erstelldatum einer Datei unter Linux aus.
Java-Anwendung beobachten
Eine Anwendung kann über die JMX-Konsole beobachtet werden. Das gibt Auskunft über den Speicherverbrauch und die Thread-Verteilung.
Performance Kernelpatch
Unter http://ck.kolivas.org/patches/ gibt es ein Patch-Set zur Erhöhung der Kernel-Performance. Nach dem Download muss die Datei mit bunzip entpackt werden. Anschließend wird der Patch im Kernel-Verzeichnis angewandt:
patch -p1 </home/user/patch-2.6.10-ck
SWT-Bibliothek bekannt geben
Zur Anzeige von Befehlsvervollständigungen und Javadoc-Kommentaren muss die SWT-Bibliothek in der Eclipse-IDE bekannt gemacht werden.
Text vor Überschriftennummerierung
Um vor der Nummerierung der Überschriften Texte inzufügen, werden Befehle wie \thesection umdefiniert.
Sprachausgabe per PIPE
Diese Anleitung erstellt eine PIPE, alles was dort hineinkopiert wird, wird per Sprachausgabe angesagt.