Debian apt pinning

Configuración mínima para apt-pinning

Changing primary monitor

When you have a dual head display one of them is the “primary monitor”. Usually, window manager put special panels or content in that monitor (gnome-shell).

To see which are your connected monitors (and their names) run:

$ xrandr | grep connected
DVI-I-0 disconnected (normal left inverted right x axis y axis)
VGA-0 disconnected (normal left inverted right x axis y axis)
DVI-I-1 connected primary 1920x1200+0+0 (normal left inverted right x axis y axis) 530mm x 300mm
HDMI-0 connected 1920x1200+1920+0 (normal left inverted right x axis y axis) 530mm x 300mm

In this case my primary monitor is DVI-I-1. To change to the other available monitor, run:

$ xrandr --output HDMI-0 --primary

Cheers

VirtualBox: import/export and cloning machines

VirtualBox supports the OVF (Open Virtualization Format) and the OVA package (an single archive format).

Converting .vmdk virtual disk to .vdi format from command line

When you have a functional virtual machine but you want to have the virtual disk in a different format.

Something like this should be enough. You must known the name of the virtual disk controller (“SATA” in the example):

$ VBoxManage storageattach NAME --storagectl SATA --port 0 --device 0 --type hdd --medium none
$ VBoxManage clonehd --format vdi OLD_DISK.vmdk NEW_DISK.vdi
$ VBoxManage storageattach NAME --storagectl SATA --port 0 --device 0 --type hdd --medium NEW_DISK.vdi

Installing the Ice-3.5 packages from ZeroC on Debian

WARNING: This recipe is unnecessary in an current Debian jessie or Ubuntu trusty.

ZeroC provides their own Ubuntu/Debian packages for the version 3.5. This recipe includes all steps for a successful installation.

Undertanding the DSO Link Change

Why (in the new GNU distros) we get “missing symbol” linking error on programs that before compile without problems?

HP LaserJet P1005 with Debian and the free driver

Setting up the HP LaserJet P1005 printer with the free driver (the Debian way)

How to get a shell for a non-shell user

Non shell unix users are useful to run services or daemons, but sometimes you may need a shell to test something failing…

Ensuring last version of a package with puppet

Puppet is a powerful software infrastructure manager. That is, a program that enable you to specify what is installed and running in each computer of your network.

Fallo de gnome-shell en debian sid

Con los últimos cambios en Debian sid gnome-shell no arranca (bug #712919) por una dependencia incorrecta de pulseaudio. Al ejecutarlo vemos el siguiente error:

$ gnome-shell --replace
gnome-shell: error while loading shared libraries:
libpulsecommon-4.0.so: cannot open shared object file: No such file or directory

Para arreglarlo instala una versión anterior del paquete libpulse-mainloop-glib0. Con la versión que hay en jessie (2.0.6) funciona correctamente.

http://packages.debian.org/jessie/libpulse-mainloop-glib0