Category Archives: tips

Download an entire Web site for off-line viewing with wget

Posted on by

$ wget \
–recursive \
–no-clobber \
–page-requisites \
–html-extension \
–convert-links \
–restrict-file-names=windows \
–domains website.org \
–no-parent \
www.website.org/tutorials/html/

This command downloads the Web site www.website.org/tutorials/html/.

The options are:
–recursive: download the entire Web site.
–domains website.org: don’t follow links outside website.org.
–no-parent: don’t follow links outside the directory tutorials/html/.
–page-requisites: get all the elements that compose the page (images, CSS and so on).
–html-extension: save files with the .html extension.
–convert-links: convert links so that they work locally, off-line.
–restrict-file-names=windows: modify filenames so that they will work in Windows as well.
–no-clobber: don’t overwrite any existing files (used in case the download is interrupted and resumed).

TeXlipse

Posted on by

Standard LateX editors are optimized for small screens. But we are in 2012 and have big screens and your next monitor or laptop screen will likely even have larger resolution. The eclipse-plugin Texlipse takes advantage of this and provides an IDE for editing LateX documents with a real-time preview.

TeXlipse: Eclipse IDE for LateX

So, unless you have netbook, get the plug-in at http://texlipse.sourceforge.net/.

“Ping” a specific port

Posted on by

“Cannot connect to server”, but why?
First diagnosis is usually trying to ping the server, however sometimes it is useful to check if a particular port is reachable from your computer. So these are your tools:
  ping
gives you information if the server is up and on the time a packet needs to travel to the server and back
  nmap -v -A host
scans all open ports on the server and lists them. Useful to check which services are running.
  telnet host port if the port is reachable, the answer looks like this
    Trying 123.123.123.123...
    Connected to filesrv.nes.aau.at.
    Escape character is '^]'.
Instead of telnet, any other terminal program (for example putty) can be used as well.

Mit Thunderbird auf einen neuen Rechner umziehen

Posted on by

Hinweis: Diese Anleitung beschreibt den Umzug unter Windows. Da es sich eigentlich um das einfache Kopieren und Übertragen des Anwendungsordners (bzw. Profilordners) handelt, sollte die Anleitung sinngemäß auch bei anderen Betriebssystemen funktionieren. Wo Sie diesen Ordner in Ihrem Betriebssystem finden, ist hier beschrieben.

  1. Am Zielrechner Thunderbird und alle Add-Ons gleich wie am alten Rechner installieren
  2. Thunderbird auf beiden Rechnern beenden
  3. Sichern Sie den Profilordner von Thunderbird (zu finden unter Dokumente und Einstellungen\%Benutzername%\Anwendungsdaten\Thunderbird\... bei Windows XP oder unter Benutzer\%Benutzername%\AppData\Roaming\Thunderbird\...bei Vista und Windows7).
  4. kopieren Sie den ganzen Profilordner über einen Datenträger an den gleichen Platz auf dem neuen Rechner (bzw. bei einem anderen Betriebssystem an die entsprechende Stelle).
  5. Den Profilordner so nennen wie den bereits vorhandenen Profilordner. Diesen danach löschen.

Getting royalty-free images

Posted on by

Are you in need for free photos to be used in a presentation or publication? The internet is full of pictures of all kinds, but most of them cannot be used without paying a fee or infringing some copyright.

Noteable exceptions are wikimedia.org, the multimedia database of Wikipedia and freedigitalphotos.net, which offers royalty-free low-res images (400 px width).

You can limit your google picture search (which comes with a nice customable preview) to one of these sites by adding a “site:wikimedia.org” to the search field.

Free image from FreeDigitalPhotos.net