Ask HN: How do you record and edit (programming) videos on Linux?

Hi all, I am thinking of recording some videos. One thing that always made me to stay away from video editing is that I believed there no good enough tools for Linux. If you are producing videos on Linux, please share what you use :)