Unfortunately this is one of the places where Linux really doesn't have any good options. While there are definitely raw capture options for Linux, there isn't anything as nice as Screen Studio or Screen Flow or Camtasia for quick, short videos with basic editing.