A city navigator for Linux platforms