<disclaimer>I didn't try it</disclaimer> Would that one help?
https://github.com/nelhage/reptyr Thomas -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4f0ad49c.3010...@debian.org