Adminer (formerly phpMinAdmin) is a full-featured database management tool written in PHP. Conversely to phpMyAdmin, it consist of a single file ready to deploy to the target server. Adminer is available for MySQL, PostgreSQL, SQLite, MS SQL and Oracle.
Kurzes Tutorial, wie man unter Linux mit gtk-recordmydesktop Bildschirmaktionen aufzeichnen kann, um sie dann mit dem Video-Editor kdenlive weiter zu verarbe...
R. Davoli. ITiCSE '04: Proceedings of the 9th annual SIGCSE conference on Innovation
and technology in computer science education, page 112--116. New York, NY, USA, ACM, (2004)