Blender 2.8. On Ubuntu 19.10

Being in the "Video Editing" section. 
There are have a couple of spides + audio files.
[![enter image description here][1]][1]
I want to render to video file.
I do choose the video, format, container, codecs, audio on:


[![enter image description here][2]][2]

Then press F12, CTRL+F12?? Nothing happens.

[![enter image description here][3]][3]

Thre is no button "render" on anything.

**Q:** How ould I render to Video File with audio?


  [1]: https://i.sstatic.net/KnSNf.png
  [2]: https://i.sstatic.net/w0zcn.png
  [3]: https://i.sstatic.net/zhPVQ.png