It needs a bit time getting familiar with, but it’s worth it.
And its 100% free.
However, I’m not sure if it is that what you are looking for. Since this covers more the recording part of the whole thing.
Encoding can be done by “handbrake” dnf install HandBrake
Very good fo encoding and 100% free.
For editing I used Lightworks a view years back.
There is an opportunity to use it for free.
But you will need to sign up for a user account at least, in order to download it. Don’t remember if there’s a lot of editing capabilities besides of cutting for the free version, website says no.
Edit: Yes, can do Text and Effects and whatnot when subscribing and paying a monthly or yearly fee: Lightworks - Features - LWKS - Video Editing Software
My laptop is low-specced (4GB RAM), so I wasn’t sure if OBS would run hassle-free.
As I will record a terminal session for R Pi, I guess an animated gif can be done with a lighter tool. But there are so many options. The OBS seems like the best for all-around and streaming.
Pitivi looked familiar, so I gave it a try, but was not installed correctly with the command line. The system crashed.
Alternatively, I have enabled the Flathub repository to install Peek, Kdenlive & OBS, which works! Thanks for your heads up on Handbrake for any conversion of files.
The Flathub says that Peek is the recording tool for creating small, silent screencasts, creating GIF animations. Sounds like the right tool for the tasks at hand.
Kdenlive was recently featured in the Fedora Magazine. I have settled in Peek and Kdenlive for now and try to create a sample tutorial over the weekend. And then will play with OBS for a usability test.