屏幕录像session recorder (or screen recorder)

debian上的屏幕录像工具，目前最好用的是recordmydesktop：

$ aptitude install gtk-recordmydesktop

gnome也在做的一款工具：istanbul。但仍处于很初级的开发阶段，生成的视频基本没法看。wink看上去也不错，可以在flash视频中加文字注释，不过目前要求gnome 2.4，所以没试。

recordMyDesktop is a powerful enough gnu/linux desktop session recorder (i.e. screen recorder):

$ aptitude install gtk-recordmydesktop

gnome is also developing one: istanbul. But istanbul is still under actively developing and the video created by it is sluggy. wink looks perfect and allows users to edit text comment box in the flash video frame, but gnome 2.4 is required now.