Paolo Redaelli personal blog

A civil engineer with a longlife fondness for Software Libero

To allow or not to allow?

… at my would-be coauthors, would someone please tell them, and every non-native-English-speaker-but-aspiring-English-author, to read this? Please, please, please, please, please. In English the verb “allow” cannot take an infinitive as a complement. Ever. You may not write “my method allows to improve productivity” (even if it’s true, which it probably isn’t, but never mind). […]

Sorgente: Bertrand Meyer’s technology+ blog » Blog Archive Before I start screaming once again… – Bertrand Meyer’s technology+ blog

Wow. That’s a constructive way to criticize 🙂

Continue reading

Gnomes like wine and vinegar

gnome3 – How can I connect to Gnome 3 with a Windows VNC client? Got “rightly” answered on Unix & Linux Stack Exchange

Here are some other possible solutions:

  1. Disable Vino encryption, and then setup an SSH tunnel
  2. Use a VNC client compatible with Vino’s TLS version: Android: bVNC Free, Windows: SSVNC, Linux: vinagre
  3. Use a different VNC server, such as tigervnc or x11vnc
  4. Use a different VNC server, such as tightvnc, with a different desktop manager, such as MATE, Xfce, LXDE, etc.

Continue reading

Usb flash drive and wear leveling

From: linux – How to correctly partition usb flash drive and which filesystem to choose considering wear leveling? – Super User an useful little change to fstab for usb sticks or SD attached to your ARM boards, like Raspberries or Inforce 6410:

Also, in your fstab, be sure to use the mount option “noatime” to avoid unnecessary writes every time a file is accessed.

As normal settings usually tend to wear out the flash relatively fast.

Forwarding audio elsewhere on Linux

These days I’ve been attending to an online course that require me not to do anything else in the user session beside watching and listening.

Actually I’ve been able to pass two checks while I’ve been hacking on another machine, just listening and watching now and then.

But it’s boring to plug headphones into the “secondary” machine and switch off the audio on the main one.

Luckily we have PulseAudio on Linux.

Continue reading