Work in Progress

19 June, 2010


I am still building this website

The pattern I am currently using as a background from

Get free space

7 April, 2014


du -sh folder

Hard drive

df -h

How to find something in linux terminal

31 March, 2014

Use find

find . -name "file*"

Use locate

sudo upgratedb
locate file

Use ls+grep

ls -R . | grep file

Tibi Robot Lego Minifig 3D Model

10 February, 2014

I've just uploaded this model in sketchfab's Legofast contest

I modelled using SolidWorks but the colours were not well exported so I had to export to STL and use blender to colorize the model. Sadly is not the same quality, but you can check the files or rendered images in the following links:

PS14 Bands Evaluation Sheet

30 January, 2014

SLAM Quest

28 January, 2014


I worked with Rafael in a paper about PoseSLAM, there was an experiment were the robot achieved its goal in a map of poses using the path that minimized the probabilities of the robot to be lost.

So I converted this pose map in a Treasure map, our robot Teo became a Navy ship and the hard working path of the PhD finally succeeded in Rafael's PhD Thesis.

Date: April 2013
Typography: Booter Five Zero by Graham Meade


Dr. Bohigas

28 January, 2014


Oriol's PhD Thesis was about too many dimensions and robot workspaces. One of his passions is music, tribal drums in particular, so in the tee a couple of masses play the "Timba" on the boundaries of their workspace.

Date: May 2013

Kill a process by name

20 January, 2014

ps -ef | grep "roslaunch" | awk '{print $2}' | xargs kill


Numix Ubuntu theme

10 January, 2014

Numix Circle Icons (

Recently I found these really clean Ubuntu theme and icons. Also I discovered the simple dock Plank.

To install them, just copy these lines from and Plank:Introduction

sudo add-apt-repository ppa:numix/ppa
sudo add-apt-repository ppa:ricotz/docky #
sudo apt-get update && sudo apt-get install plank numix-gtk-theme numix-icon-theme* numix-plank-theme

I did my little contribution with the Mendeley Icon :)


Run a server in Ubuntu

8 January, 2014


The files of the server will be in the directory /var/www

Check out the easiest way to do it here: