Geekeries et Salade Cui(s)t(r)e

Un blog axé sur l'Internet avec un grand I, avec des choses geek et intelligentes, parfois …

Tag: dev

A way to Redemption

The world of RDP is was not really sunny in term of free software, until recently.
A new RDP Proxy called ReDemPtion (got it ?) just appeared on Github.

As I’ve seen it grow for over 7 months, I can only wonder what will come out of it, such as nicer and nicer features and better support and stability. There was a long way down to debug and it’s still in
progress until the protocol layers are hardenned enough.

Here’s a selection on the current roadmap:

  • Create independant libraries with protocol layers, meaning easy and coherent implementation of clients AND servers with redemption’s library
  • Create a few sample server applications using Redemption, so it’s easy to debug RDP clients and servers
  • Make pluggable interface usable, moving toward ANY to ANY protocol proxy! Imagine X to VNC using redemption!
  • and so on…

Just imagine what will be possible! At last some simple way to transparently comunicate to Windows or Linux, using both as both. To me this means a real terminal client
when I’m stuck on Windows, for others this would mean installing Linux at work and work transparently on their Windows servers.

A bit later, I’ll tell you about the documentation system of the project.

PS : I’m NOT the author of Redemption, but I did work on it.

A useless way to (in)elegantly (not) hide text

I assume that when programming languages are an other world for you, it may seem impressive to see code, for instance I could write \x57\x6f\x77\x2c\x20\x31\x33\x33\x37\x20\x75\x73\x65\x64\x20\x74\x6f\x20\x72\x6f\x63\x6b\x20\xc2\xb7\x2f\x3f\x23 and that wouldn’t mean anything to you.

But, it is merely an hexadecimal reference to a unicode character! (see the article on wikipedia)

A simple way to transform letters from a string back and forth to their unicode reference follows (in Python):
>>> for letter in "Wow, 1337 used to rock ·/?#":
... t += hex(ord(letter)).replace('0x', '\\x')
>>> print(t)
>>> print("\x57\x6f\x77\x2c\x20\x31\x33\x33\x37\x20\x75\x73\x65\x64\x20\x74\x6f\x20\x72\x6f\x63\x6b\x20\xc2\xb7\x2f\x3f\x23")
Wow, 1337 used to rock ·/?#

And yes, it could be more elegant.

Retour des repositories de l’AIL

Les dépôts source de l’AIL ne sont pas perdus ! Ils sont de nouveau en ligne aux adressess suivantes :


Ce sont tous des dépôts GIT. Olono est un jeu d’Otello en C et Patator un projet d’éditeur d’animation en Java, syncbot fait des jolies couleurs en Python.

Way to pack your icon themes in Gnome

I have long been looking for a simple tool to easily create and pack icon themes for gnome, yet the only specimens I could find on the gnome project were either outdated and broken, or non existing anymore.

I managed to uncover a functionnal (but old) python/bash script that seemed to do the trick, but it wouldn’t work with my gnome3 and GTK3 (pygtk only supports GTK up to 2.26 or something), so I decided to upgrade it. I forked it (hard) on and it is available through :

It is for now almost iso-functionnal with the previous version, the GUI hasn’t been (yet) updated but it is planned for a future version. Read the rest of this entry »