Raspberry Pi B+

Use a USB to mini-USB cable as a power supply between TV (or similar) and Pi.

Webp and Linux

Install the package webp:

# sudo apt-get install webp

Now you can convert image files with cwebp:

# cweb file.png -o file.webp

Or decompress via dwebp.

Windows improved

Today's work on a Windows system was pleasant. W10 is a great improvement. But I still prefer Linux.

Tex to Docx

So you want to translate .tex to .dex? It's easy. Use pandoc:

# /home/per/Dropbox/ddfo/sit_lux/synopsis.tex